Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcRefactor.c152 …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 DabcIvy.c68 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 DabcProve.c37 …, int nNodeSizeMax, int nConeSizeMax, int fUpdateLevel, int fUseZeros, int fUseDcs, int fVerbose );
H A Dabc.c7426 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 Dabc.h878 …t nNodeSizeMax, int nConeSizeMax, int fUpdateLevel, int fUseZeros, int fUseDcs, int fVerbose );