Searched refs:fLatchB (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaEquiv.c | 2205 …terEquivsForSpeculation( Gia_Man_t * pGia, char * pName1, char * pName2, int fLatchA, int fLatchB ) in Gia_ManFilterEquivsForSpeculation() argument 2294 if ( fLatchB && !Gia_ObjIsRo(pGia, pObj) ) in Gia_ManFilterEquivsForSpeculation()
|
H A D | gia.h | 1382 …erEquivsForSpeculation( Gia_Man_t * pGia, char * pName1, char * pName2, int fLatchA, int fLatchB );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abc.c | 36214 int fLatchA = 0, fLatchB = 0; in Abc_CommandAbc9Srm2() local 36225 fLatchB ^= 1; in Abc_CommandAbc9Srm2() 36264 if ( !Gia_ManFilterEquivsForSpeculation( pTemp, pFileName1, pFileName2, fLatchA, fLatchB ) ) in Abc_CommandAbc9Srm2() 36290 …Abc_Print( -2, "\t-b : toggle using latches only in PartB [default = %s]\n", fLatchB? "yes": "… in Abc_CommandAbc9Srm2()
|