Home
last modified time | relevance | path

Searched refs:Ssw_Sem_t (Results 1 – 1 of 1) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswSemi.c30 typedef struct Ssw_Sem_t_ Ssw_Sem_t; // BMC manager typedef
64 Ssw_Sem_t * Ssw_SemManStart( Ssw_Man_t * pMan, int nConfMax, int fVerbose ) in Ssw_SemManStart()
66 Ssw_Sem_t * p; in Ssw_SemManStart()
70 p = ABC_ALLOC( Ssw_Sem_t, 1 ); in Ssw_SemManStart()
71 memset( p, 0, sizeof(Ssw_Sem_t) ); in Ssw_SemManStart()
110 void Ssw_SemManStop( Ssw_Sem_t * p ) in Ssw_SemManStop()
129 int Ssw_SemCheckTargets( Ssw_Sem_t * p ) in Ssw_SemCheckTargets()
150 void Ssw_ManFilterBmcSavePattern( Ssw_Sem_t * p ) in Ssw_ManFilterBmcSavePattern()
177 int Ssw_ManFilterBmc( Ssw_Sem_t * pBmc, int iPat, int fCheckTargets ) in Ssw_ManFilterBmc()
263 Ssw_Sem_t * p; in Ssw_FilterUsingSemi()