Home
last modified time | relevance | path

Searched refs:pNtk (Results 1 – 25 of 289) sorted by relevance

12345678910>>...12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcNtk.c78 pNtk->pManFunc = Abc_AigAlloc( pNtk ); in Abc_NtkAlloc()
79 else if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkAlloc()
97 return pNtk; in Abc_NtkAlloc()
434 pNtkNew = Abc_NtkStartFrom( pNtk, pNtk->ntkType, pNtk->ntkFunc ); in Abc_NtkDup()
493 pNtkNew = Abc_NtkStartFrom( pNtk, pNtk->ntkType, pNtk->ntkFunc ); in Abc_NtkDupDfs()
534 pNtkNew = Abc_NtkStartFrom( pNtk, pNtk->ntkType, pNtk->ntkFunc ); in Abc_NtkDupDfsNoBarBufs()
1379 Abc_DesFree( pNtk->pDesign, pNtk ); in Abc_NtkDelete()
1529 pNtk->vCos = Vec_PtrDup( pNtk->vPos ); in Abc_NtkMakeComb()
2035 …Vec_PtrWriteEntry( pNtk->vCis, Abc_NtkPiNum(pNtk)+i, Vec_PtrEntry(pNtk->vCis, Abc_NtkPiNum(pNtk)+k… in Abc_NtkPermute()
2039 …Vec_PtrWriteEntry( pNtk->vCos, Abc_NtkPoNum(pNtk)+i, Vec_PtrEntry(pNtk->vCos, Abc_NtkPoNum(pNtk)+k… in Abc_NtkPermute()
[all …]
H A DabcObj.c60 pObj->pNtk = pNtk; in Abc_ObjAlloc()
79 Abc_Ntk_t * pNtk = pObj->pNtk; in Abc_ObjRecycle() local
138 if ( pNtk->vCos ) Vec_PtrPush( pNtk->vCos, pObj ); in Abc_NtkCreateObj()
141 if ( pNtk->vCis ) Vec_PtrPush( pNtk->vCis, pObj ); in Abc_NtkCreateObj()
172 Abc_Ntk_t * pNtk = pObj->pNtk; in Abc_NtkDeleteObj() local
616 if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkCreateNodeConst0()
647 if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkCreateNodeConst1()
885 Abc_Ntk_t * pNtk = pNode->pNtk; in Abc_NodeIsConst0() local
917 Abc_Ntk_t * pNtk = pNode->pNtk; in Abc_NodeIsConst1() local
949 Abc_Ntk_t * pNtk = pNode->pNtk; in Abc_NodeIsBuf() local
[all …]
H A Dabc.h261 …ne int Abc_NtkIsSopNetlist( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_FUNC_SOP &… in Abc_NtkIsSopNetlist() argument
262 …ne int Abc_NtkIsBddNetlist( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_FUNC_BDD &… in Abc_NtkIsBddNetlist() argument
263 …ne int Abc_NtkIsAigNetlist( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_FUNC_AIG &… in Abc_NtkIsAigNetlist() argument
264 …e int Abc_NtkIsMappedNetlist( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_FUNC_MAP &&… in Abc_NtkIsMappedNetlist() argument
266 …ine int Abc_NtkIsSopLogic( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_FUNC_SOP … in Abc_NtkIsSopLogic() argument
300 …t Abc_NtkHasOnlyLatchBoxes(Abc_Ntk_t * pNtk ){ return Abc_NtkLatchNum(pNtk) == Abc_NtkBoxN… in Abc_NtkHasOnlyLatchBoxes() argument
516 for ( i = 0; (i < Abc_NtkPiNum(pNtk)) && (((pPi) = Abc_NtkPi(pNtk, i)), 1); i++ )
518 for ( i = 0; (i < Abc_NtkCiNum(pNtk)) && (((pCi) = Abc_NtkCi(pNtk, i)), 1); i++ )
520 for ( i = 0; (i < Abc_NtkPoNum(pNtk)) && (((pPo) = Abc_NtkPo(pNtk, i)), 1); i++ )
522 for ( i = 0; (i < Abc_NtkCoNum(pNtk)) && (((pCo) = Abc_NtkCo(pNtk, i)), 1); i++ )
[all …]
H A DabcCheck.c102 if ( !Abc_NtkIsNetlist(pNtk) && !Abc_NtkIsLogic(pNtk) && !Abc_NtkIsStrash(pNtk) ) in Abc_NtkDoCheck()
107 …kHasSop(pNtk) && !Abc_NtkHasBdd(pNtk) && !Abc_NtkHasAig(pNtk) && !Abc_NtkHasMapping(pNtk) && !Abc_… in Abc_NtkDoCheck()
124 if ( Abc_NtkPiNum(pNtk) + Abc_NtkLatchNum(pNtk) != Abc_NtkCiNum(pNtk) ) in Abc_NtkDoCheck()
131 if ( Abc_NtkPoNum(pNtk) + Abc_NtkLatchNum(pNtk) != Abc_NtkCoNum(pNtk) ) in Abc_NtkDoCheck()
203 if ( pNtk->pExdc ) in Abc_NtkDoCheck()
424 if ( pObj->pNtk != pNtk ) in Abc_NtkCheckObj()
558 else if ( !Abc_NtkHasMapping(pNtk) && !Abc_NtkHasBlifMv(pNtk) && !Abc_NtkHasAig(pNtk) ) in Abc_NtkCheckNode()
781 pNtk->fHieVisited = 1; in Abc_NtkIsAcyclicHierarchy_rec()
818 assert( Abc_NtkIsNetlist(pNtk) && pNtk->pDesign ); in Abc_NtkIsAcyclicHierarchy()
823 pNtk->fHiePath = 1; in Abc_NtkIsAcyclicHierarchy()
[all …]
H A DabcNetlist.c58 if ( Abc_NtkIsStrash(pNtk) ) in Abc_NtkToLogic()
66 pNtkNew = Abc_NtkStartFrom( pNtk, ABC_NTK_LOGIC, pNtk->ntkFunc ); in Abc_NtkToLogic()
82 if ( pNtk->pExdc ) in Abc_NtkToLogic()
103 assert( Abc_NtkIsLogic(pNtk) || Abc_NtkIsStrash(pNtk) ); in Abc_NtkToNetlist()
104 if ( Abc_NtkIsStrash(pNtk) ) in Abc_NtkToNetlist()
159 Abc_NtkCleanup( pNtk, 0 ); in Abc_NtkLogicToNetlist()
175 pNtkNew = Abc_NtkStartFrom( pNtk, ABC_NTK_NETLIST, pNtk->ntkFunc ); in Abc_NtkLogicToNetlist()
234 if ( pNtk->pExdc ) in Abc_NtkLogicToNetlist()
319 if ( pNtk->pExdc ) in Abc_NtkAigToLogicSop()
395 if ( pNtk->pExdc ) in Abc_NtkAigToLogicSopBench()
[all …]
H A DabcBarBuf.c52 if ( pNtk->pDesign == NULL ) in Abc_NtkCheckSingleInstance()
213 if ( Abc_ObjFanin0(pLiMap)->pNtk != pNtk ) in Abc_NtkToBarBufs()
215 else if ( Abc_ObjFanout0(pLoMap)->pNtk != pNtk ) in Abc_NtkToBarBufs()
273 assert( Abc_NtkLatchNum(pNtk) == pNtk->nBarBufs ); in Abc_NtkFromBarBufs()
281 pTemp->pCopy = Abc_NtkStartFrom( pTemp, pNtk->ntkType, pNtk->ntkFunc ); in Abc_NtkFromBarBufs()
359 assert( pNtk->nBarBufs == Abc_NtkLatchNum(pNtk) ); in Abc_NtkToBarBufsCollect()
364 if ( i >= Abc_NtkCiNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkToBarBufsCollect()
371 if ( i < Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkToBarBufsCollect()
383 if ( i >= Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkToBarBufsCollect()
433 assert( pNtk->nBarBufs == Abc_NtkLatchNum(pNtk) ); in Abc_NtkBarBufsToBuffers()
[all …]
H A DabcLatch.c296 if ( Abc_NtkHasSop(pNtk) ) in Abc_NtkNodeConvertToMux()
303 …(Hop_Man_t *)pNtk->pManFunc,Hop_IthVar((Hop_Man_t *)pNtk->pManFunc,0),Hop_IthVar((Hop_Man_t *)pNtk… in Abc_NtkNodeConvertToMux()
334 pCtrl = Abc_NtkAddLatch( pNtk, Abc_NtkCreateNodeConst1(pNtk), Init ); in Abc_NtkConvertDcLatches()
456 pNtkNew = Abc_NtkStartFromNoLatches( pNtk, pNtk->ntkType, pNtk->ntkFunc ); in Abc_NtkConvertOnehot()
476 assert( Abc_NtkCiNum(pNtk) == Abc_NtkPiNum(pNtk) + nFlops ); in Abc_NtkConvertOnehot()
477 assert( Abc_NtkCoNum(pNtk) == Abc_NtkPoNum(pNtk) + nFlops ); in Abc_NtkConvertOnehot()
488 pObj = Abc_NtkCi( pNtk, Abc_NtkPiNum(pNtk) + i ); in Abc_NtkConvertOnehot()
512 pObj = Abc_NtkCo( pNtk, Abc_NtkPoNum(pNtk) + i ); in Abc_NtkConvertOnehot()
655 pNtk = Abc_NtkDup( pNtk ); in Abc_NtkCRetime()
712 Abc_NtkDelete( pNtk ); in Abc_NtkCRetime()
[all …]
H A DabcHieCec.c267 Abc_NtkFillTemp( pNtk ); in Abc_NtkDeriveFlatGia()
343 Abc_NtkFillTemp( pNtk ); in Abc_NtkDeriveFlatGia2Derive()
488 if ( pNtk->iStep >= 0 ) in Abc_NtkCollectHie_rec()
539 if ( pNtk->iStep >= 0 ) in Abc_NtkCountInst_rec()
540 return pNtk->iStep; in Abc_NtkCountInst_rec()
584 if ( pNtk->dTemp >= 0 ) in Abc_NtkCountNodes_rec()
585 return pNtk->dTemp; in Abc_NtkCountNodes_rec()
677 if ( pNtk == NULL ) in Abc_NtkHieCecTest()
682 if ( pNtk->pDesign == NULL || pNtk->pDesign->vModules == NULL ) in Abc_NtkHieCecTest()
751 Abc_NtkCountInst( pNtk ); in Abc_NtkHieCecTest()
[all …]
H A DabcDfs.c88 Abc_NtkIncrementTravId( pNtk ); in Abc_NtkDfs()
91 if ( pNtk->nBarBufs2 > 0 ) in Abc_NtkDfs()
131 Abc_NtkIncrementTravId( pNtk ); in Abc_NtkDfs2()
1251 if ( i < Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_AigDfsMap()
1262 if ( i >= Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_AigDfsMap()
1454 if ( pNtk->pManTime == NULL || pNtk->AndGateDelay <= 0 ) in Abc_NtkLevel()
1463 if ( pNtk->nBarBufs == 0 ) in Abc_NtkLevel()
1532 Abc_Ntk_t * pNtk = pNode->pNtk; in Abc_NtkIsAcyclic_rec() local
1555 assert( pFanin->pNtk == pNode->pNtk ); in Abc_NtkIsAcyclic_rec()
1647 Abc_Ntk_t * pNtk = pNode->pNtk; in Abc_NtkIsAcyclicWithBoxes_rec() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioUtil.c101 Abc_Ntk_t * pNtk; in Io_ReadNetlist() local
132 return pNtk; in Io_ReadNetlist()
174 return pNtk; in Io_ReadNetlist()
194 if( pNtk && Vec_PtrSize( pNtk->vLtlProperties ) > 0 ) in temporaryLtlStore()
252 pNtk = Abc_NtkToBarBufs( pTemp = pNtk ); in Io_Read()
261 pNtk = Abc_NtkFlattenLogicHierarchy( pTemp = pNtk ); in Io_Read()
273 pNtk = Abc_NtkConvertBlackboxes( pTemp = pNtk ); in Io_Read()
284 pNtk = Abc_NtkStrashBlifMv( pTemp = pNtk ); in Io_Read()
294 pNtk = Abc_NtkToLogic( pTemp = pNtk ); in Io_Read()
303 return pNtk; in Io_Read()
[all …]
H A DioReadBench.c50 Abc_Ntk_t * pNtk; in Io_ReadBench() local
58 pNtk = Io_ReadBenchNetwork( p ); in Io_ReadBench()
60 if ( pNtk == NULL ) in Io_ReadBench()
67 Abc_NtkDelete( pNtk ); in Io_ReadBench()
70 return pNtk; in Io_ReadBench()
88 Abc_Ntk_t * pNtk; in Io_ReadBenchNetwork() local
97 pNtk->nConstrs = 0; in Io_ReadBenchNetwork()
110 Abc_NtkDelete( pNtk ); in Io_ReadBenchNetwork()
303 Abc_NtkFinalizeRead( pNtk ); in Io_ReadBenchNetwork()
308 if ( !Abc_NtkToBdd(pNtk) ) in Io_ReadBenchNetwork()
[all …]
H A DioWriteAiger.c312 Abc_NtkPiNum(pNtk) + Abc_NtkLatchNum(pNtk) + Abc_NtkNodeNum(pNtk), in Io_WriteAiger_old()
319 … fprintf( pFile, " %u %u", Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk), Abc_NtkConstrNum(pNtk) ); in Io_WriteAiger_old()
410 else if ( i < Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk) ) in Io_WriteAiger_old()
418 if ( pNtk->pName && strlen(pNtk->pName) > 0 ) in Io_WriteAiger_old()
466 Abc_NtkPiNum(pNtk) + Abc_NtkLatchNum(pNtk) + Abc_NtkNodeNum(pNtk), in Io_WriteAigerGz()
473 … gzprintf( pFile, " %u %u", Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk), Abc_NtkConstrNum(pNtk) ); in Io_WriteAigerGz()
553 else if ( i < Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk) ) in Io_WriteAigerGz()
561 if ( pNtk->pName && strlen(pNtk->pName) > 0 ) in Io_WriteAigerGz()
709 Abc_NtkPiNum(pNtk) + Abc_NtkLatchNum(pNtk) + Abc_NtkNodeNum(pNtk), in Io_WriteAiger()
716 …fprintfBz2Aig( &b, " %u %u", Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk), Abc_NtkConstrNum(pNtk) ); in Io_WriteAiger()
[all …]
H A DioAbc.h105 extern void Io_WriteBaf( Abc_Ntk_t * pNtk, char * pFileName );
107 extern void Io_WriteBblif( Abc_Ntk_t * pNtk, char * pFileName );
119 extern void Io_WriteBook( Abc_Ntk_t * pNtk, char * FileName );
123 extern void Io_WriteDot( Abc_Ntk_t * pNtk, char * FileName );
127 extern void Io_WriteEqn( Abc_Ntk_t * pNtk, char * pFileName );
129 extern void Io_WriteGml( Abc_Ntk_t * pNtk, char * pFileName );
133 extern int Io_WritePla( Abc_Ntk_t * pNtk, char * FileName );
134 extern int Io_WriteMoPla( Abc_Ntk_t * pNtk, char * FileName );
136 extern int Io_WriteSmv( Abc_Ntk_t * pNtk, char * FileName );
146 extern Abc_Obj_t * Io_ReadCreatePi( Abc_Ntk_t * pNtk, char * pName );
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcTiming.c175 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetDefaultArrival()
186 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetDefaultRequired()
210 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetArrival()
223 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetRequired()
248 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetDefaultInputDrive()
264 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetDefaultOutputLoad()
292 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetInputDrive()
311 pNtk->pManTime = Abc_ManTimeStart(pNtk); in Abc_NtkTimeSetOutputLoad()
1174 Abc_Ntk_t * pNtk = pObj->pNtk; in Abc_ObjRequiredLevel() local
1193 Abc_Ntk_t * pNtk = pObj->pNtk; in Abc_ObjReverseLevel() local
[all …]
H A DabcMini.c62 Abc_Ntk_t * pNtk; in Abc_NtkFromMiniAig() local
82 …pObj = Abc_AigAnd((Abc_Aig_t *)pNtk->pManFunc, Abc_NodeFanin0Copy(pNtk, vCopies, p, i), Abc_NodeFa… in Abc_NtkFromMiniAig()
91 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFromMiniAig()
98 pNtk = Abc_NtkRestrashWithLatches( pTemp = pNtk, Mini_AigRegNum(p) ); in Abc_NtkFromMiniAig()
101 return pNtk; in Abc_NtkFromMiniAig()
132 Abc_NtkCleanCopy( pNtk ); in Abc_NtkToMiniAig()
161 Abc_Ntk_t * pNtk; in Abc_NtkInputMiniAig() local
170 Abc_Ntk_t * pNtk; in Abc_NtkOutputMiniAig() local
174 if ( pNtk == NULL ) in Abc_NtkOutputMiniAig()
181 Abc_Ntk_t * pNtk; in Abc_NtkSetFlopNum() local
[all …]
H A DabcProve.c71 pNtk = *ppNtk; in Abc_NtkMiterProve()
91 *ppNtk = pNtk; in Abc_NtkMiterProve()
122 *ppNtk = pNtk; in Abc_NtkMiterProve()
205 if ( pNtk ) in Abc_NtkMiterProve()
232 pNtk->pModel = ABC_ALLOC( int, Abc_NtkCiNum(pNtk) ); in Abc_NtkMiterProve()
233 memset( pNtk->pModel, 0, sizeof(int) * Abc_NtkCiNum(pNtk) ); in Abc_NtkMiterProve()
235 *ppNtk = pNtk; in Abc_NtkMiterProve()
263 nWords2 = (1<<27) / (Abc_NtkNodeNum(pNtk) + Abc_NtkCiNum(pNtk)); in Abc_NtkMiterFraig()
321 Abc_NtkIsStrash(pNtk)? Abc_AigLevel(pNtk) : Abc_NtkLevel(pNtk) ); in Abc_NtkMiterPrint()
341 pNtk = Abc_NtkBalance( pNtkTemp = pNtk, 0, 0, 0 ); Abc_NtkDelete( pNtkTemp ); in Abc_NtkMiterRwsat()
[all …]
H A DabcDebug.c59 pNtk = Abc_NtkDup(pNtk); in Abc_NtkAutoDebug()
60 if ( !(*pFuncError)( pNtk ) ) in Abc_NtkAutoDebug()
63 Abc_NtkDelete( pNtk ); in Abc_NtkAutoDebug()
86 pNtk = pNtkMod; in Abc_NtkAutoDebug()
93 nIter, Abc_NtkLatchNum(pNtk), Abc_NtkNodeNum(pNtk), nSteps, i ); in Abc_NtkAutoDebug()
102 Abc_NtkDelete( pNtk ); in Abc_NtkAutoDebug()
182 Abc_Ntk_t * pNtk; in Abc_NtkAutoDebugModify() local
193 return pNtk; in Abc_NtkAutoDebugModify()
196 pConst = fConst1? Abc_NtkCreateNodeConst1(pNtk) : Abc_NtkCreateNodeConst0(pNtk); in Abc_NtkAutoDebugModify()
200 Abc_NtkSweep( pNtk, 0 ); in Abc_NtkAutoDebugModify()
[all …]
H A DabcIvy.c153 if ( pNtk->pExdc ) in Abc_NtkIvyAfter()
510 assert( Abc_NtkIsStrash(pNtk) || Abc_NtkIsLogic(pNtk) ); in Abc_NtkIvyProve()
519 pNtk = Abc_NtkStrash( pNtkTemp = pNtk, 0, 1, 0 ); in Abc_NtkIvyProve()
528 pNtk->pModel = ABC_CALLOC( int, Abc_NtkCiNum(pNtk) ); in Abc_NtkIvyProve()
553 pNtk = Abc_NtkBalance( pNtkTemp = pNtk, 0, 0, 0 ); in Abc_NtkIvyProve()
556 pNtk = Abc_NtkBalance( pNtkTemp = pNtk, 0, 0, 0 ); in Abc_NtkIvyProve()
572 pNtk = Abc_NtkIvyAfter( pNtkTemp = pNtk, pMan, 0, 0 ); in Abc_NtkIvyProve()
616 *ppNtk = pNtk; in Abc_NtkIvyProve()
747 Abc_Ntk_t * pNtk; in Abc_NtkFromIvy() local
786 return pNtk; in Abc_NtkFromIvy()
[all …]
H A DabcPrint.c83 if ( pNtk == NULL ) in Abc_NtkCompareAndSaveBest()
278 Abc_Print( 1," i/o =%5d/%5d", Abc_NtkPiNum(pNtk), Abc_NtkPoNum(pNtk) ); in Abc_NtkPrintStats()
282 if ( pNtk->nBarBufs ) in Abc_NtkPrintStats()
303 if ( Abc_NtkIsStrash(pNtk) || Abc_NtkIsNetlist(pNtk) ) in Abc_NtkPrintStats()
345 if ( pNtk->nBarBufs2 ) in Abc_NtkPrintStats()
355 if ( Abc_NtkIsLogic(pNtk) && Abc_NtkGetFaninMax(pNtk) <= 6 ) in Abc_NtkPrintStats()
457 if ( pNtk->pExdc ) in Abc_NtkPrintStats()
1716 if ( Abc_NtkIsStrash(pNtk) && pDriver == Abc_AigConst1(pNtk) ) in Abc_NtkPrintPoEquivs()
1781 Abc_NtkToAig( pNtk ); in Abc_NtkMfsTotalGlitchingLut()
1789 Abc_NtkLatchNum(pNtk), Abc_NtkGetTotalFanins(pNtk) + Abc_NtkCoNum(pNtk) ); in Abc_NtkMfsTotalGlitchingLut()
[all …]
H A DabcStrash.c79 if ( pNtk->pExdc ) in Abc_NtkRestrash()
156 if ( pNtk->pExdc ) in Abc_NtkRestrashRandom()
233 if ( pNtk->pExdc ) in Abc_NtkRestrashZero()
236 if ( pNtk->vNameIds ) in Abc_NtkRestrashZero()
238 if ( pNtk->vNameIds ) in Abc_NtkRestrashZero()
269 assert( Abc_NtkIsLogic(pNtk) || Abc_NtkIsStrash(pNtk) ); in Abc_NtkStrash()
285 if ( pNtk->vNameIds ) in Abc_NtkStrash()
295 if ( pNtk->pExdc ) in Abc_NtkStrash()
475 assert( Abc_NtkHasAig(pNodeOld->pNtk) && !Abc_NtkIsStrash(pNodeOld->pNtk) ); in Abc_NodeStrash()
752 …ntf( pFile, "// pi=%d po=%d and=%d", Abc_NtkPiNum(pNtk), Abc_NtkPoNum(pNtk), Abc_NtkNodeNum(pNt… in Abc_NtkWriteAig()
[all …]
H A DabcSweep.c104 if ( pNtk->pExdc == NULL ) in Abc_NtkFraigSweep()
110 Abc_NtkLevel( pNtk ); in Abc_NtkFraigSweep()
124 if ( Abc_NtkHasMapping(pNtk) ) in Abc_NtkFraigSweep()
130 if ( !Abc_NtkCheck( pNtk ) ) in Abc_NtkFraigSweep()
156 assert( pNtk->pExdc ); in Abc_NtkFraigSweepUsingExdc()
158 gNodeExdc = Abc_NtkToFraigExdc( pMan, pNtk, pNtk->pExdc ); in Abc_NtkFraigSweepUsingExdc()
613 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkSweep()
620 Abc_NtkCleanup( pNtk, 0 ); in Abc_NtkSweep()
623 Abc_NtkMinimumBase(pNtk); in Abc_NtkSweep()
682 Abc_NtkCleanup( pNtk, 0 ); in Abc_NtkSweep()
[all …]
H A DabcMfs.c54 Abc_NtkCleanCopy( pNtk ); in Abc_NtkAssignIDs()
68 Abc_NtkCleanCopy( pNtk ); in Abc_NtkAssignIDs2()
155 vNodes = nFirstFixed ? Abc_NtkAssignIDs2(pNtk) : Abc_NtkAssignIDs(pNtk); in Abc_NtkExtractMfs()
156 nObjs = Abc_NtkCiNum(pNtk) + Vec_PtrSize(vNodes) + Abc_NtkCoNum(pNtk); in Abc_NtkExtractMfs()
207 for ( i = Abc_NtkCiNum(pNtk); i < Abc_NtkCiNum(pNtk) + nFirstFixed; i++ ) in Abc_NtkExtractMfs()
229 nObjs = Abc_NtkCiNum(pNtk) + Vec_PtrSize(vNodes) + Abc_NtkCoNum(pNtk); in Abc_NtkExtractMfs2()
353 Abc_NtkSweep( pNtk, 0 ); in Abc_NtkPerformMfs()
400 Abc_Ntk_t * pNtk; in Abc_NtkUnrollAndDrop() local
462 return pNtk; in Abc_NtkUnrollAndDrop()
532 Abc_Ntk_t * pNtk; in Abc_NtkMfsAfterICheck() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fret/
H A DfretMain.c84 pManMR->pNtk = pNtk; in Abc_FlowRetime_MinReg()
105 return pNtk; in Abc_FlowRetime_MinReg()
112 return pNtk; in Abc_FlowRetime_MinReg()
202 pNtk = Abc_FlowRetime_NtkSilentRestrash( pNtk, 1 ); in Abc_FlowRetime_MinReg()
215 return pNtk; in Abc_FlowRetime_MinReg()
231 Abc_Ntk_t *pNtk = pManMR->pNtk, *pNtkCopy = pNtk; in Abc_FlowRetime_MainLoop() local
273 pNtk = pManMR->pNtk = Abc_FlowRetime_NtkSilentRestrash( pNtk, 1 ); in Abc_FlowRetime_MainLoop()
291 pNtk = pManMR->pNtk = Abc_FlowRetime_NtkDup( pNtkCopy ); in Abc_FlowRetime_MainLoop()
355 return pNtk; in Abc_FlowRetime_MainLoop()
374 Abc_Ntk_t *pNtk = pManMR->pNtk; in Abc_FlowRetime_RemoveLatchBubbles() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/
H A DretCore.c49 int nLatches = Abc_NtkLatchNum(pNtk); in Abc_NtkRetime()
50 int nLevels = Abc_NtkLevel(pNtk); in Abc_NtkRetime()
58 nNodesOld = Abc_NtkNodeNum(pNtk); in Abc_NtkRetime()
59 nLatchesOld = Abc_NtkLatchNum(pNtk); in Abc_NtkRetime()
60 Abc_NtkCleanupSeq(pNtk, 0, 0, 0); in Abc_NtkRetime()
61 if ( nNodesOld > Abc_NtkNodeNum(pNtk) || nLatchesOld > Abc_NtkLatchNum(pNtk) ) in Abc_NtkRetime()
63 nNodesOld - Abc_NtkNodeNum(pNtk), nLatchesOld - Abc_NtkLatchNum(pNtk) ); in Abc_NtkRetime()
100 nLatches - Abc_NtkLatchNum(pNtk), nLevels - Abc_NtkLevel(pNtk) ); in Abc_NtkRetime()
118 int Abc_NtkRetimeDebug( Abc_Ntk_t * pNtk ) in Abc_NtkRetimeDebug() argument
122 assert( Abc_NtkIsLogic(pNtk) ); in Abc_NtkRetimeDebug()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacPrsBuild.c47 int Psr_ManIsMapped( Psr_Ntk_t * pNtk ) in Psr_ManIsMapped() argument
54 if ( !Psr_BoxIsNode(pNtk, iBox) ) in Psr_ManIsMapped()
77 int i, Count = Psr_NtkObjNum(pNtk); in Psr_NtkCountObjects()
79 Count += Psr_BoxIONum(pNtk, i); in Psr_NtkCountObjects()
148 Psr_NtkForEachPi( pNtk, NameId, i ) in Psr_ManCleanMap()
150 Psr_NtkForEachBox( pNtk, vSigs, i ) in Psr_ManCleanMap()
153 Psr_NtkForEachPo( pNtk, NameId, i ) in Psr_ManCleanMap()
162 assert( Psr_NtkPioNum(pNtk) == 0 ); in Psr_ManBuildNtk()
311 Psr_ManCleanMap( pNtk, vMap ); in Psr_ManBuildNtk()
337 …kAlloc( Bac_ManNtk(pNew, i+1), Psr_NtkId(pNtk), Psr_NtkPiNum(pNtk), Psr_NtkPoNum(pNtk), Psr_NtkCou… in Psr_ManBuildCba()
[all …]

12345678910>>...12