Home
last modified time | relevance | path

Searched refs:pNtk (Results 51 – 75 of 289) sorted by relevance

12345678910>>...12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacPtrAbc.c115 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 Dliveness.c314 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 DioWriteBench.c57 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 DioWriteEqn.c54 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 DioWriteBlifMv.c63 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 DioWriteList.c126 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 DabcShow.c118 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 DabcFunc.c193 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 DabcReach.c62 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 DabcFxu.c85 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 DabcMulti.c68 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 DabcDar.c142 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 DabcQbf.c71 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 DabcOrder.c50 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 DabcCut.c58 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 DabcFpga.c63 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 DabcXsim.c115 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 DabciUnfold2.c15 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 DnwkAig.c47 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 DnwkDfs.c49 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 DmfsCore.c158 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 DmfsCore_.c221 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 DretInt.h58 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 DsimSeq.c56 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 DwlcCom.c261 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 …]

12345678910>>...12