/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
H A D | bacPtrAbc.c | 115 if ( Abc_NtkHasAig(pObj->pNtk) ) in Ptr_AbcDeriveNode() 156 Vec_Ptr_t * vBoxes = Vec_PtrAllocExact( Abc_NtkBoxNum(pNtk) + Abc_NtkNodeNum(pNtk) ); in Ptr_AbcDeriveBoxes() 157 Abc_NtkForEachBox( pNtk, pObj, i ) in Ptr_AbcDeriveBoxes() 159 Abc_NtkForEachNode( pNtk, pObj, i ) in Ptr_AbcDeriveBoxes() 169 Abc_NtkForEachPi( pNtk, pObj, i ) in Ptr_AbcDeriveInputs() 178 Abc_NtkForEachPo( pNtk, pObj, i ) in Ptr_AbcDeriveOutputs() 310 Bac_NtkSetHost( Bac_ManNtk(pNtk->pDesign, NtkId), Bac_NtkId(pNtk), iObj ); in Bac_NtkDeriveFromPtr() 347 Bac_NtkForEachCi( pNtk, iObj ) in Bac_NtkDeriveFromPtr() 352 assert( Bac_NtkObjNum(pNtk) == Vec_StrCap(&pNtk->vType) ); in Bac_NtkDeriveFromPtr() 362 Bac_Ntk_t * pNtk; int i; in Bac_PtrTransformToCba() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
H A D | liveness.c | 314 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkCi( pNtk, Abc_NtkPiNum(pNtk) + i ) )); in LivenessToSafetyTransformation() 611 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkCi( pNtk, Abc_NtkPiNum(pNtk) + i ) )); in LivenessToSafetyTransformationAbs() 919 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkCi( pNtk, Abc_NtkPiNum(pNtk) + i ) )); in LivenessToSafetyTransformationOneStepLoop() 1221 pNtk->pManName = Nm_ManCreate( Abc_NtkCiNum( pNtk ) ); in updateNewNetworkNameManager() 1321 if ( pNtk == NULL ) in Abc_CommandAbcLivenessToSafety() 1340 pNtkOld = pNtk; in Abc_CommandAbcLivenessToSafety() 1429 if ( pNtk == NULL ) in Abc_CommandAbcLivenessToSafety() 1667 if ( pNtk == NULL ) in Abc_CommandAbcLivenessToSafetyAbstraction() 1686 pNtkOld = pNtk; in Abc_CommandAbcLivenessToSafetyAbstraction() 2356 if ( pNtk == NULL ) in Abc_CommandAbcLivenessToSafetyWithLTL() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioWriteBench.c | 57 assert( Abc_NtkIsSopNetlist(pNtk) ); in Io_WriteBench() 58 if ( !Io_WriteBenchCheckNames(pNtk) ) in Io_WriteBench() 71 Io_WriteBenchOne( pFile, pNtk ); in Io_WriteBench() 73 pExdc = Abc_NtkExdc( pNtk ); in Io_WriteBench() 99 Abc_NtkForEachPi( pNtk, pNode, i ) in Io_WriteBenchOne() 101 Abc_NtkForEachPo( pNtk, pNode, i ) in Io_WriteBenchOne() 109 Abc_NtkForEachNode( pNtk, pNode, i ) in Io_WriteBenchOne() 195 pExdc = Abc_NtkExdc( pNtk ); in Io_WriteBenchLut() 222 Abc_NtkForEachPi( pNtk, pNode, i ) in Io_WriteBenchLutOne() 224 Abc_NtkForEachPo( pNtk, pNode, i ) in Io_WriteBenchLutOne() [all …]
|
H A D | ioWriteEqn.c | 54 assert( Abc_NtkIsAigNetlist(pNtk) ); in Io_WriteEqn() 55 if ( Abc_NtkLatchNum(pNtk) > 0 ) in Io_WriteEqn() 59 if ( !Io_NtkWriteEqnCheck(pNtk) ) in Io_WriteEqn() 72 Io_NtkWriteEqnOne( pFile, pNtk ); in Io_WriteEqn() 97 Io_NtkWriteEqnCis( pFile, pNtk ); in Io_NtkWriteEqnOne() 102 Io_NtkWriteEqnCos( pFile, pNtk ); in Io_NtkWriteEqnOne() 108 Abc_NtkForEachNode( pNtk, pNode, i ) in Io_NtkWriteEqnOne() 146 Abc_NtkForEachCi( pNtk, pTerm, i ) in Io_NtkWriteEqnCis() 186 Abc_NtkForEachCo( pNtk, pTerm, i ) in Io_NtkWriteEqnCos() 215 int Io_NtkWriteEqnCheck( Abc_Ntk_t * pNtk ) in Io_NtkWriteEqnCheck() argument [all …]
|
H A D | ioWriteBlifMv.c | 63 assert( Abc_NtkIsNetlist(pNtk) ); in Io_WriteBlifMv() 64 assert( Abc_NtkHasBlifMv(pNtk) ); in Io_WriteBlifMv() 74 Io_NtkWriteBlifMv( pFile, pNtk ); in Io_WriteBlifMv() 76 if ( pNtk->pDesign ) in Io_WriteBlifMv() 80 if ( pNtkTemp == pNtk ) in Io_WriteBlifMv() 102 assert( Abc_NtkIsNetlist(pNtk) ); in Io_NtkWriteBlifMv() 108 if ( Abc_NtkExdc(pNtk) ) in Io_NtkWriteBlifMv() 143 Abc_NtkForEachCi( pNtk, pTerm, i ) in Io_NtkWriteBlifMvOne() 151 if ( Abc_NtkHasBlackbox( pNtk ) ) in Io_NtkWriteBlifMvOne() 161 if ( !Abc_NtkIsComb(pNtk) ) in Io_NtkWriteBlifMvOne() [all …]
|
H A D | ioWriteList.c | 126 Abc_NtkForEachPi( pNtk, pObj, i ) in Io_WriteList() 130 Abc_AigForEachAnd( pNtk, pObj, i ) in Io_WriteList() 135 Io_WriteListHost( pFile, pNtk ); in Io_WriteList() 189 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteListHost() 198 Abc_NtkForEachPi( pNtk, pObj, i ) in Io_WriteListHost() 227 assert( Abc_NtkIsLogic(pNtk) ); in Io_WriteCellNet() 245 Abc_NtkForEachPi( pNtk, pObj, i ) in Io_WriteCellNet() 248 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteCellNet() 254 Abc_NtkForEachNode( pNtk, pObj, i ) in Io_WriteCellNet() 258 Abc_NtkForEachPi( pNtk, pObj, i ) in Io_WriteCellNet() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcShow.c | 118 Abc_NtkCleanCopy( pNode->pNtk ); in Abc_NodeShowBdd() 133 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkShowBdd() 181 Abc_NtkCleanCopy( pNtk ); in Abc_NtkShowBdd() 266 Abc_Ntk_t * pNtk; in Abc_NtkShow() local 291 pNtk = Abc_NtkDup( pNtk0 ); in Abc_NtkShow() 292 if ( Abc_NtkIsLogic(pNtk) && !Abc_NtkHasMapping(pNtk) ) in Abc_NtkShow() 300 nBarBufs = pNtk->nBarBufs; in Abc_NtkShow() 301 pNtk->nBarBufs = 0; in Abc_NtkShow() 306 pNtk->nBarBufs = nBarBufs; in Abc_NtkShow() 311 Abc_NtkDelete( pNtk ); in Abc_NtkShow() [all …]
|
H A D | abcFunc.c | 193 pNtk->pManFunc = dd; in Abc_NtkSopToBdd() 433 pNtk->pManFunc = pManNew; in Abc_NtkBddToSop() 448 Abc_NtkSortSops( pNtk ); in Abc_NtkBddToSop() 705 pNtk->pManFunc = dd; in Abc_NtkAigToBdd() 840 pNtk->pManFunc = pMan; in Abc_NtkSopToAig() 1175 if ( Abc_NtkHasSop(pNtk) ) in Abc_NtkToSop() 1185 if ( Abc_NtkHasBdd(pNtk) ) in Abc_NtkToSop() 1187 if ( Abc_NtkHasAig(pNtk) ) in Abc_NtkToSop() 1213 if ( Abc_NtkHasBdd(pNtk) ) in Abc_NtkToBdd() 1217 Abc_NtkMapToSop(pNtk); in Abc_NtkToBdd() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcReach.c | 62 Abc_NtkForEachLatch( pNtk, pLatch, i ) in Abc_NtkInitStateVarMap() 98 assert( dd->size == Abc_NtkCiNum(pNtk) ); in Abc_NtkCreatePartitions() 99 Cudd_bddIthVar( dd, Abc_NtkCiNum(pNtk) + Abc_NtkLatchNum(pNtk) - 1 ); in Abc_NtkCreatePartitions() 109 Abc_NtkForEachLatch( pNtk, pNode, i ) in Abc_NtkCreatePartitions() 115 Abc_NtkFreeGlobalBdds( pNtk, 0 ); in Abc_NtkCreatePartitions() 156 Abc_NtkForEachLatch( pNtk, pLatch, i ) in Abc_NtkComputeReachable() 160 …bCubeCs = Extra_bddComputeRangeCube( dd, Abc_NtkPiNum(pNtk), Abc_NtkCiNum(pNtk) ); Cudd_Ref( b… in Abc_NtkComputeReachable() 162 …pTree = Extra_bddImageStart( dd, bCubeCs, Abc_NtkLatchNum(pNtk), pbParts, Abc_NtkLatchNum(pNtk), p… in Abc_NtkComputeReachable() 164 …ree2 = Extra_bddImageStart2( dd, bCubeCs, Abc_NtkLatchNum(pNtk), pbParts, Abc_NtkLatchNum(pNtk), p… in Abc_NtkComputeReachable() 269 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkVerifyUsingBdds() [all …]
|
H A D | abcFxu.c | 85 assert( Abc_NtkIsLogic(pNtk) ); in Abc_NtkFastExtract() 88 if ( Abc_NtkIsSopLogic(pNtk) ) in Abc_NtkFastExtract() 100 if ( !Abc_NtkFxuCheck(pNtk) ) in Abc_NtkFastExtract() 106 Abc_NtkCleanup( pNtk, 0 ); in Abc_NtkFastExtract() 108 Abc_NtkFxuCollectInfo( pNtk, p ); in Abc_NtkFastExtract() 115 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFastExtract() 136 int Abc_NtkFxuCheck( Abc_Ntk_t * pNtk ) in Abc_NtkFxuCheck() argument 140 Abc_NtkForEachNode( pNtk, pNode, n ) in Abc_NtkFxuCheck() 184 Abc_NtkForEachNode( pNtk, pNode, i ) in Abc_NtkFxuCollectInfo() 256 pNode = Abc_NtkObj( pNtk, i ); in Abc_NtkFxuReconstruct() [all …]
|
H A D | abcMulti.c | 68 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkMulti() 73 if ( Abc_NtkGetChoiceNum( pNtk ) ) in Abc_NtkMulti() 78 Abc_NtkMultiSetBoundsCnf( pNtk ); in Abc_NtkMulti() 90 Abc_NtkMultiInt( pNtk, pNtkNew ); in Abc_NtkMulti() 91 Abc_NtkFinalize( pNtk, pNtkNew ); in Abc_NtkMulti() 107 if ( pNtk->pExdc ) in Abc_NtkMulti() 137 pConst1 = Abc_AigConst1(pNtk); in Abc_NtkMultiInt() 147 Abc_NtkForEachCo( pNtk, pNode, i ) in Abc_NtkMultiInt() 157 Abc_NtkForEachObj( pNtk, pNode, i ) in Abc_NtkMultiInt() 412 Abc_NtkForEachCo( pNtk, pNode, i ) in Abc_NtkMultiSetBounds() [all …]
|
H A D | abcDar.c | 142 if ( pNtk->nConstrs && i >= pNtk->nConstrs ) in Abc_NtkToDarBmc() 243 assert( Abc_NtkBoxNum(pNtk) == Abc_NtkLatchNum(pNtk) ); in Abc_NtkToDar() 332 if ( pNtk->vOnehots ) in Abc_NtkToDar() 2379 if ( pNtk->pSeqModel ) in Abc_NtkDarBmc() 2388 pNtk->pSeqModel->iPo = Vec_IntEntry( vMap, pNtk->pSeqModel->iPo ); in Abc_NtkDarBmc() 2425 ABC_FREE( pNtk->pModel ); in Abc_NtkDarBmc3() 2485 if ( pNtk->pSeqModel ) in Abc_NtkDarBmc3() 2494 pNtk->pSeqModel->iPo = Vec_IntEntry( vMap, pNtk->pSeqModel->iPo ); in Abc_NtkDarBmc3() 2642 ABC_FREE( pNtk->pModel ); in Abc_NtkDarBmcInter() 2679 pFileNameGeneric = Extra_FileNameGeneric( pNtk->pSpec ? pNtk->pSpec : pNtk->pName ); in Abc_NtkDarDemiter() [all …]
|
H A D | abcQbf.c | 71 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkQbf() 72 assert( Abc_NtkIsComb(pNtk) ); in Abc_NtkQbf() 73 assert( Abc_NtkPoNum(pNtk) == 1 ); in Abc_NtkQbf() 74 assert( nPars > 0 && nPars < Abc_NtkPiNum(pNtk) ); in Abc_NtkQbf() 76 nInputs = Abc_NtkPiNum(pNtk) - nPars; in Abc_NtkQbf() 115 vPiValues = Vec_IntStart( Abc_NtkPiNum(pNtk) ); in Abc_NtkQbf() 121 for ( i = nPars; i < Abc_NtkPiNum(pNtk); i++ ) in Abc_NtkQbf() 232 pModel = pNtk->pModel; in Abc_NtkModelToVector() 233 for ( i = 0; i < Abc_NtkPiNum(pNtk); i++ ) in Abc_NtkModelToVector() 269 for ( i = nPars; i < Abc_NtkPiNum(pNtk); i++ ) in Abc_NtkVectorClearVars() [all …]
|
H A D | abcOrder.c | 50 vSupp = Abc_NtkSupport( pNtk ); in Abc_NtkFindCiOrder() 51 Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse ); in Abc_NtkFindCiOrder() 73 vSupp = Vec_PtrAlloc( Abc_NtkCiNum(pNtk) ); in Abc_NtkImplementCiOrder() 76 pObj = Abc_NtkFindCi( pNtk, Buffer ); in Abc_NtkImplementCiOrder() 87 if ( Vec_PtrSize(vSupp) != Abc_NtkCiNum(pNtk) ) in Abc_NtkImplementCiOrder() 93 Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse ); in Abc_NtkImplementCiOrder() 112 assert( Vec_PtrSize(vSupp) == Abc_NtkCiNum(pNtk) ); in Abc_NtkChangeCiOrder() 119 Vec_PtrWriteEntry( pNtk->vCis, i, pObj ); in Abc_NtkChangeCiOrder() 121 Vec_PtrClear( pNtk->vPis ); in Abc_NtkChangeCiOrder() 122 Abc_NtkForEachCi( pNtk, pObj, i ) in Abc_NtkChangeCiOrder() [all …]
|
H A D | abcCut.c | 58 Abc_NtkForEachObj( pNtk, pObj, i ) in Abc_NtkCutsSubtractFanunt() 93 Abc_NtkForEachObj( pNtk, pObj, i ) in Abc_NtkCutsAddFanunt() 137 Abc_NtkCutsSubtractFanunt( pNtk ); in Abc_NtkCuts() 141 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkCuts() 155 Abc_NtkForEachCi( pNtk, pObj, i ) in Abc_NtkCuts() 213 Abc_NtkCutsAddFanunt( pNtk ); in Abc_NtkCuts() 235 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkCutsOracle() 242 Abc_NtkForEachCi( pNtk, pObj, i ) in Abc_NtkCutsOracle() 396 Abc_NtkForEachCo( pNtk, pObj, i ) in Abc_NtkComputeArea() 549 Abc_NtkForEachObj( pNtk, pObj, i ) in Abc_NtkPrintCuts() [all …]
|
H A D | abcFpga.c | 63 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkFpga() 102 if ( pNtk->pExdc ) in Abc_NtkFpga() 136 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkToFpga() 139 pMan = Fpga_ManCreate( Abc_NtkCiNum(pNtk), Abc_NtkCoNum(pNtk), fVerbose ); in Abc_NtkToFpga() 153 Abc_NtkCleanCopy( pNtk ); in Abc_NtkToFpga() 155 Abc_NtkForEachCi( pNtk, pNode, i ) in Abc_NtkToFpga() 164 vNodes = Abc_AigDfs( pNtk, 0, 0 ); in Abc_NtkToFpga() 190 Abc_NtkForEachCo( pNtk, pNode, i ) in Abc_NtkToFpga() 217 Abc_NtkForEachCi( pNtk, pNode, i ) in Abc_NtkFromFpga() 224 Abc_NtkForEachCo( pNtk, pNode, i ) in Abc_NtkFromFpga() [all …]
|
H A D | abcXsim.c | 115 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkXValueSimulate() 122 Abc_NtkForEachPi( pNtk, pObj, i ) in Abc_NtkXValueSimulate() 127 Abc_NtkForEachPi( pNtk, pObj, i ) in Abc_NtkXValueSimulate() 146 Abc_NtkForEachCo( pNtk, pObj, i ) in Abc_NtkXValueSimulate() 150 Abc_NtkForEachPi( pNtk, pObj, i ) in Abc_NtkXValueSimulate() 160 Abc_NtkForEachPo( pNtk, pObj, i ) in Abc_NtkXValueSimulate() 196 assert( Abc_NtkIsStrash(pNtk) ); in Abc_NtkCycleInitState() 201 Abc_NtkForEachLatch( pNtk, pObj, i ) in Abc_NtkCycleInitState() 206 Abc_NtkForEachPi( pNtk, pObj, i ) in Abc_NtkCycleInitState() 211 Abc_NtkForEachCo( pNtk, pObj, i ) in Abc_NtkCycleInitState() [all …]
|
H A D | abciUnfold2.c | 15 Abc_Ntk_t * pNtk, * pNtkRes; in Abc_CommandUnfold2() local 24 pNtk = Abc_FrameReadNtk(pAbc); in Abc_CommandUnfold2() 77 if ( pNtk == NULL ) in Abc_CommandUnfold2() 82 if ( Abc_NtkIsComb(pNtk) ) in Abc_CommandUnfold2() 87 if ( !Abc_NtkIsStrash(pNtk) ) in Abc_CommandUnfold2() 92 if ( Abc_NtkConstrNum(pNtk) > 0 ) in Abc_CommandUnfold2() 126 Abc_Ntk_t * pNtk, * pNtkRes; in Abc_CommandFold2() local 131 pNtk = Abc_FrameReadNtk(pAbc); in Abc_CommandFold2() 152 if ( pNtk == NULL ) in Abc_CommandFold2() 157 if ( !Abc_NtkIsStrash(pNtk) ) in Abc_CommandFold2() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkAig.c | 47 Nwk_Man_t * pNtk; in Nwk_ManDeriveFromAig() local 50 pNtk = Nwk_ManAlloc(); in Nwk_ManDeriveFromAig() 51 pNtk->nFanioPlus = 0; in Nwk_ManDeriveFromAig() 53 pNtk->pManHop = NULL; in Nwk_ManDeriveFromAig() 71 return pNtk; in Nwk_ManDeriveFromAig() 88 Nwk_Man_t * pNtk; in Nwk_ManDeriveRetimingCut() local 101 Nwk_ManFree( pNtk ); in Nwk_ManDeriveRetimingCut() 154 Nwk_Man_t * pNtk; in Nwk_ManCreateFromGia() local 203 return pNtk; in Nwk_ManCreateFromGia() 220 Nwk_Man_t * pNtk; in Nwk_ManDeriveMinCut() local [all …]
|
H A D | nwkDfs.c | 49 Nwk_ManIncrementTravId( pNtk ); in Nwk_ManVerifyTopoOrder() 50 Nwk_ManForEachObj( pNtk, pObj, i ) in Nwk_ManVerifyTopoOrder() 65 if ( pNtk->pManTime ) in Nwk_ManVerifyTopoOrder() 109 Nwk_ManForEachObj( pNtk, pObj, i ) in Nwk_ManLevelBackup() 113 pManTimeUnit = pNtk->pManTime ? Tim_ManDup( pNtk->pManTime, 1 ) : NULL; in Nwk_ManLevelBackup() 215 int Nwk_ManLevel( Nwk_Man_t * pNtk ) in Nwk_ManLevel() argument 221 Nwk_ManIncrementTravId( pNtk ); in Nwk_ManLevel() 326 Nwk_ManIncrementTravId( pNtk ); in Nwk_ManDfs() 383 Nwk_ManIncrementTravId( pNtk ); in Nwk_ManDfsNodes() 456 Nwk_ManIncrementTravId( pNtk ); in Nwk_ManDfsReverse() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsCore.c | 158 Abc_Ntk_t *pNtk = p->pNtk; in Abc_NtkMfsPowerResub() local 161 Abc_NtkForEachNode( pNtk, pNode, k ) in Abc_NtkMfsPowerResub() 392 assert( Abc_NtkIsLogic(pNtk) ); in Abc_NtkMfs() 413 if ( !Abc_NtkToAig(pNtk) ) in Abc_NtkMfs() 418 assert( Abc_NtkHasAig(pNtk) ); in Abc_NtkMfs() 422 p->pNtk = pNtk; in Abc_NtkMfs() 440 if ( pNtk->pExcare ) in Abc_NtkMfs() 443 if ( Abc_NtkPiNum((Abc_Ntk_t *)pNtk->pExcare) != Abc_NtkCiNum(pNtk) ) in Abc_NtkMfs() 445 Abc_NtkPiNum((Abc_Ntk_t *)pNtk->pExcare), Abc_NtkCiNum(pNtk) ); in Abc_NtkMfs() 473 Abc_NtkLevel( pNtk ); in Abc_NtkMfs() [all …]
|
H A D | mfsCore_.c | 221 assert( Abc_NtkIsLogic(pNtk) ); in Abc_NtkMfs() 222 nFaninMax = Abc_NtkGetFaninMax(pNtk); in Abc_NtkMfs() 240 Abc_NtkSweep( pNtk, 0 ); in Abc_NtkMfs() 242 if ( !Abc_NtkToAig(pNtk) ) in Abc_NtkMfs() 247 assert( Abc_NtkHasAig(pNtk) ); in Abc_NtkMfs() 251 p->pNtk = pNtk; in Abc_NtkMfs() 265 if ( pNtk->pExcare ) in Abc_NtkMfs() 268 if ( Abc_NtkPiNum(pNtk->pExcare) != Abc_NtkCiNum(pNtk) ) in Abc_NtkMfs() 270 Abc_NtkPiNum(pNtk->pExcare), Abc_NtkCiNum(pNtk) ); in Abc_NtkMfs() 298 Abc_NtkLevel( pNtk ); in Abc_NtkMfs() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/ |
H A D | retInt.h | 58 extern void Abc_NtkRetimeShareLatches( Abc_Ntk_t * pNtk, int fInitial ); 61 extern st__table * Abc_NtkRetimePrepareLatches( Abc_Ntk_t * pNtk ); 62 extern int Abc_NtkRetimeFinalizeLatches( Abc_Ntk_t * pNtk, st__table * tLatches, int nIdMax… 64 extern void Abc_NtkMaxFlowTest( Abc_Ntk_t * pNtk ); 65 extern Vec_Ptr_t * Abc_NtkMaxFlow( Abc_Ntk_t * pNtk, int fForward, int fVerbose ); 69 extern void Abc_NtkRetimeTranferToCopy( Abc_Ntk_t * pNtk ); 70 extern void Abc_NtkRetimeTranferFromCopy( Abc_Ntk_t * pNtk ); 71 extern Vec_Int_t * Abc_NtkRetimeCollectLatchValues( Abc_Ntk_t * pNtk ); 72 extern void Abc_NtkRetimeInsertLatchValues( Abc_Ntk_t * pNtk, Vec_Int_t * vValues ); 73 extern Abc_Ntk_t * Abc_NtkRetimeBackwardInitialStart( Abc_Ntk_t * pNtk ); [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/ |
H A D | simSeq.c | 56 assert( Abc_NtkIsStrash(pNtk) ); in Sim_SimulateSeqRandom() 59 pNode = Abc_AigConst1(pNtk); in Sim_SimulateSeqRandom() 62 Abc_NtkForEachPi( pNtk, pNode, i ) in Sim_SimulateSeqRandom() 65 Abc_NtkForEachLatch( pNtk, pNode, i ) in Sim_SimulateSeqRandom() 98 vInfo = Sim_UtilInfoAlloc( Abc_NtkObjNumMax(pNtk), nFrames, 0 ); in Sim_SimulateSeqModel() 100 pNode = Abc_AigConst1(pNtk); in Sim_SimulateSeqModel() 103 Abc_NtkForEachPi( pNtk, pNode, i ) in Sim_SimulateSeqModel() 110 Abc_NtkForEachLatch( pNtk, pNode, i ) in Sim_SimulateSeqModel() 159 Abc_NtkForEachNode( pNtk, pNode, i ) in Sim_SimulateSeqFrame() 161 Abc_NtkForEachPo( pNtk, pNode, i ) in Sim_SimulateSeqFrame() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcCom.c | 261 if ( pNtk == NULL ) in Abc_CommandWriteWlc() 279 pNtk = Wlc_NtkDupSingleNodes( pNtk ); in Abc_CommandWriteWlc() 356 if ( pNtk == NULL ) in Abc_CommandPs() 446 if ( pNtk == NULL ) in Abc_CommandCone() 459 pNtk = Wlc_NtkDupDfs( pNtk, 1, fSeq ); in Abc_CommandCone() 618 if ( pNtk == NULL ) in Abc_CommandPdrAbs() 761 if ( pNtk == NULL ) in Abc_CommandAbs() 877 if ( pNtk == NULL ) in Abc_CommandAbs2() 1008 pNtk = Wlc_NtkAbstractMem( pNtk, nFrames, fVerbose ); in Abc_CommandMemAbs2() 1260 pNtk = Wlc_NtkMemBlast( pNtk ); in Abc_CommandBlastMem() [all …]
|