| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcStrash.c | 82 if ( !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkRestrash()
159 if ( !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkRestrashRandom()
241 if ( !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkRestrashZero()
298 if ( !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkStrash()
394 if ( !Abc_NtkCheck( pNtk1 ) ) in Abc_NtkAppend()
571 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkTopmost()
697 if ( !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkTopAnd()
837 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkPutOnTop()
|
| H A D | abcMiter.c | 110 if ( !Abc_NtkCheck( pNtkMiter ) ) in Abc_NtkMiterInt()
428 if ( !Abc_NtkCheck( pNtkMiter ) ) in Abc_NtkMiterAnd()
498 if ( !Abc_NtkCheck( pNtkMiter ) ) in Abc_NtkMiterCofactor()
564 if ( !Abc_NtkCheck( pNtkMiter ) ) in Abc_NtkMiterForCofactors()
628 if ( !Abc_NtkCheck( pNtkMiter ) ) in Abc_NtkMiterQuantify()
839 if ( !Abc_NtkCheck( pNtkFrames ) ) in Abc_NtkFrames()
1138 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkDemiter()
1185 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkCombinePos()
|
| H A D | abcCas.c | 107 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkCascade()
|
| H A D | abcQuant.c | 240 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkTransRel()
421 if ( !Abc_NtkCheck( pNtkReached ) ) in Abc_NtkReachability()
|
| H A D | abcDsd.c | 83 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkDsdGlobal()
355 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkDsdLocal()
687 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkSparsify()
|
| H A D | abcSweep.c | 130 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFraigSweep()
557 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkReduceNodes()
953 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkCleanupSeq()
|
| H A D | abcFpgaFast.c | 73 if ( pNtkNew != NULL && !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFpgaFast()
|
| H A D | abcSense.c | 138 if ( !Abc_NtkCheck( pMiter ) ) in Abc_NtkSensitivityMiter()
|
| H A D | abcMini.c | 91 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFromMiniAig()
|
| H A D | abcIvy.c | 156 if ( !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkIvyAfter()
784 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFromIvy()
882 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFromIvySeq()
|
| H A D | abcFxu.c | 115 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFastExtract()
|
| H A D | abcNtbdd.c | 113 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkDeriveFromBdd()
147 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkBddToMuxes()
|
| H A D | abcDar.c | 451 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFromDar()
574 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFromDarSeqSweep()
655 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFromAigPhase()
897 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFromMappedGia()
1070 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFromCellMappedGia()
1160 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkAfterTrim()
1205 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFromDarChoices()
1294 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFromDarSeq()
1403 if ( pNtkAig && !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkDar()
1787 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkConstructFromCnf()
[all …]
|
| H A D | abcFpga.c | 106 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFpga()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcNetlist.c | 84 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkToLogic()
236 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkLogicToNetlist()
326 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkAigToLogicSop()
397 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkAigToLogicSopBench()
478 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkAigToLogicSopNand()
|
| H A D | abcNtk.c | 478 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkDup()
518 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkDupDfs()
562 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkDupDfsNoBarBufs()
593 if ( !Abc_NtkCheck( pNtkAig ) ) in Abc_NtkRestrashWithLatches()
737 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkDouble()
795 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkBottom()
854 if ( !Abc_NtkCheck( pNtkTop ) ) in Abc_NtkAttachBottom()
924 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkCreateCone()
1555 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkMakeComb()
1630 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkMakeSeq()
[all …]
|
| H A D | abcHie.c | 242 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFlattenLogicHierarchy2()
576 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkFlattenLogicHierarchy()
665 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkConvertBlackboxes()
828 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkInsertNewLogic()
|
| H A D | abcCheck.c | 64 int Abc_NtkCheck( Abc_Ntk_t * pNtk ) in Abc_NtkCheck() function
204 Abc_NtkCheck( pNtk->pExdc ); in Abc_NtkDoCheck()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/ |
| H A D | covBuild.c | 201 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkCovDerive()
374 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkCovDeriveClean()
529 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkCovDeriveRegular()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
| H A D | resStrash.c | 110 if ( !Abc_NtkCheck( pAig ) ) in Res_WndStrash()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/ |
| H A D | retArea.c | 94 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkRetimeMinArea()
394 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkRetimeMinAreaConstructNtk()
|
| H A D | retInit.c | 292 if ( !Abc_NtkCheck( pNtkNew ) ) in Abc_NtkRetimeBackwardInitialFinish()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioReadDsd.c | 295 if ( !Abc_NtkCheck( pNtk ) ) in Io_ReadDsd()
|
| H A D | ioReadBblif.c | 87 if ( !Abc_NtkCheck( pNtk ) ) in Bbl_ManToAbc()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
| H A D | Fxch.c | 250 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFxchPerform()
|