Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/
H A DretInit.c138 assert( Abc_NtkIsSopLogic(pNtkCone) ); in Abc_NtkRetimeVerifyModel()
319 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkCycleInitStateSop()
H A DretArea.c61 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkRetimeMinArea()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioWriteBblif.c60 assert( Abc_NtkIsSopLogic(pNtk) ); in Bbl_ManFromAbc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbAbc.c53 assert( Abc_NtkIsSopLogic(p) ); in Acb_NtkFromAbc2()
79 assert( Abc_NtkIsSopLogic(p) ); in Acb_NtkFromAbc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcExpand.c140 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkExpandCubes()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/
H A DFxch.c236 assert( Abc_NtkIsSopLogic( pNtk ) ); in Abc_NtkFxchPerform()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcFxu.c88 if ( Abc_NtkIsSopLogic(pNtk) ) in Abc_NtkFastExtract()
H A DabcAttach.c69 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkAttach()
H A DabcFx.c147 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkFxRetrieve()
189 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkFxInsert()
310 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkFxPerform()
H A DabcDetect.c1149 assert( Abc_NtkIsSopLogic(pNtk) || Abc_NtkIsMappedLogic(pNtk) ); in Abc_NtkDetectFinClasses()
1150 if ( Abc_NtkIsSopLogic(pNtk) ) in Abc_NtkDetectFinClasses()
H A DabcLut.c91 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkSuperChoiceLut()
H A DabcFraig.c489 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_NtkFraigTrust()
H A DabcPrint.c1078 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkPrintFactor()
1626 if ( Abc_ObjIsNode(pObj) && Abc_NtkIsSopLogic(pObj->pNtk) ) in Abc_ObjPrint()
H A DabcCascade.c62 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_ResBuildBdd()
H A Dabc.c1851 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandPrintFactor()
4409 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandFastExtract()
4520 if ( !Abc_NtkIsSopLogic( pNtk ) ) in Abc_CommandFxch()
11101 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandCubes()
11162 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandExpand()
11260 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandSplitSop()
13369 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandDouble()
17991 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandAttach()
22239 if ( !Abc_NtkIsStrash(pNtk) && !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandCycle()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcUtil.c2593 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkSopToCubes()
H A Dabc.h266 static inline int Abc_NtkIsSopLogic( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_… in Abc_NtkIsSopLogic() function