Searched refs:Ssw_SmlSimulateSeq (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
| H A D | cgtDecide.c | 165 pSml = Ssw_SmlSimulateSeq( pAig, 0, nFrames, nWords ); in Cgt_ManComputeCoverage()
196 pSml = Ssw_SmlSimulateSeq( pAig, 0, nFrames, nWords ); in Cgt_ManDecideSimple()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | ssw.h | 152 extern Ssw_Sml_t * Ssw_SmlSimulateSeq( Aig_Man_t * pAig, int nPref, int nFrames, int nWords );
|
| H A D | sswClass.c | 622 pSml = Ssw_SmlSimulateSeq( pAig, 0, nFrames, nWords ); in Ssw_ClassesPrepare()
|
| H A D | sswSim.c | 1248 Ssw_Sml_t * Ssw_SmlSimulateSeq( Aig_Man_t * pAig, int nPref, int nFrames, int nWords ) in Ssw_SmlSimulateSeq() function
|