Searched refs:fUseDcs (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcRefactor.c | 152 …bc_Obj_t * pNode, Vec_Ptr_t * vFanins, int fUpdateLevel, int fUseZeros, int fUseDcs, int fVerbose ) in Abc_NodeRefactor() argument 245 Abc_ManRef_t * Abc_NtkManRefStart( int nNodeSizeMax, int nConeSizeMax, int fUseDcs, int fVerbose ) in Abc_NtkManRefStart() argument 326 …k, int nNodeSizeMax, int nConeSizeMax, int fUpdateLevel, int fUseZeros, int fUseDcs, int fVerbose ) in Abc_NtkRefactor() argument 343 pManRef = Abc_NtkManRefStart( nNodeSizeMax, nConeSizeMax, fUseDcs, fVerbose ); in Abc_NtkRefactor() 370 vFanins = Abc_NodeFindCut( pManCut, pNode, fUseDcs ); in Abc_NtkRefactor() 374 … pFForm = Abc_NodeRefactor( pManRef, pNode, vFanins, fUpdateLevel, fUseZeros, fUseDcs, fVerbose ); in Abc_NtkRefactor()
|
H A D | abcIvy.c | 68 static Vec_Int_t * Abc_NtkCollectLatchValuesIvy( Abc_Ntk_t * pNtk, int fUseDcs ); 1125 Vec_Int_t * Abc_NtkCollectLatchValuesIvy( Abc_Ntk_t * pNtk, int fUseDcs ) in Abc_NtkCollectLatchValuesIvy() argument 1133 if ( fUseDcs || Abc_LatchIsInitDc(pLatch) ) in Abc_NtkCollectLatchValuesIvy()
|
H A D | abcProve.c | 37 …, int nNodeSizeMax, int nConeSizeMax, int fUpdateLevel, int fUseZeros, int fUseDcs, int fVerbose );
|
H A D | abc.c | 7426 int fUseDcs; in Abc_CommandRefactor() local 7428 …, int nNodeSizeMax, int nConeSizeMax, int fUpdateLevel, int fUseZeros, int fUseDcs, int fVerbose ); in Abc_CommandRefactor() 7435 fUseDcs = 0; in Abc_CommandRefactor() 7471 fUseDcs ^= 1; in Abc_CommandRefactor() 7504 if ( fUseDcs && nNodeSizeMax >= nConeSizeMax ) in Abc_CommandRefactor() 7511 …if ( !Abc_NtkRefactor( pNtk, nNodeSizeMax, nConeSizeMax, fUpdateLevel, fUseZeros, fUseDcs, fVerbos… in Abc_CommandRefactor()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abc.h | 878 …t nNodeSizeMax, int nConeSizeMax, int fUpdateLevel, int fUseZeros, int fUseDcs, int fVerbose );
|