Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcBarBuf.c232 pNtkNew->nBarBufs = Abc_NtkLatchNum(pNtkNew); in Abc_NtkToBarBufs()
273 assert( Abc_NtkLatchNum(pNtk) == pNtk->nBarBufs ); in Abc_NtkFromBarBufs()
358 assert( pNtk->nBarBufs > 0 ); in Abc_NtkToBarBufsCollect()
359 assert( pNtk->nBarBufs == Abc_NtkLatchNum(pNtk) ); in Abc_NtkToBarBufsCollect()
371 if ( i < Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkToBarBufsCollect()
432 assert( pNtk->nBarBufs > 0 ); in Abc_NtkBarBufsToBuffers()
433 assert( pNtk->nBarBufs == Abc_NtkLatchNum(pNtk) ); in Abc_NtkBarBufsToBuffers()
466 int i, k, nBarBufs; in Abc_NtkBarBufsFromBuffers() local
476 nBarBufs = 0; in Abc_NtkBarBufsFromBuffers()
481 pLatch = Abc_NtkBox(pNtkNew, nBarBufs++); in Abc_NtkBarBufsFromBuffers()
[all …]
H A DabcShow.c269 int nBarBufs; in Abc_NtkShow() local
300 nBarBufs = pNtk->nBarBufs; in Abc_NtkShow()
301 pNtk->nBarBufs = 0; in Abc_NtkShow()
306 pNtk->nBarBufs = nBarBufs; in Abc_NtkShow()
H A DabcNtk.c123 pNtkNew->nBarBufs = pNtk->nBarBufs; in Abc_NtkStartFrom()
191 pNtkNew->nBarBufs = pNtk->nBarBufs; in Abc_NtkStartFromWithLatches()
266 pNtkNew->nBarBufs = pNtk->nBarBufs; in Abc_NtkStartFromNoLatches()
623 pNtkNew->nBarBufs = pNtk->nBarBufs; in Abc_NtkDupTransformMiter()
H A DabcDfs.c1251 if ( i < Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_AigDfsMap()
1262 if ( i >= Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_AigDfsMap()
1463 if ( pNtk->nBarBufs == 0 ) in Abc_NtkLevel()
1481 if ( i < pNtk->nBarBufs ) in Abc_NtkLevel()
H A Dabc.h174 int nBarBufs; // the number of barrier buffers member
524 …) && (((pCo) = Abc_NtkCo(pNtk, i < pNtk->nBarBufs ? Abc_NtkCoNum(pNtk) - pNtk->nBarBufs + i : i - …
H A DabcAig.c297 if ( pNtk->nBarBufs ) in Abc_AigLevel()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigDup.c58 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupSimple()
196 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupSimpleDfs()
288 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupOrdered()
357 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupCof()
423 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupTrim()
474 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupExor()
574 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupDfs()
705 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupDfsGuided()
775 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupLevelized()
930 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupRepres()
[all …]
H A DaigRepr.c277 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupRepr()
H A DaigScl.c57 pNew->nBarBufs = p->nBarBufs; in Aig_ManRemap()
H A Daig.h110 int nBarBufs; // the number of barrier buffers member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarBalance.c567 pNew->nBarBufs = p->nBarBufs; in Dar_ManBalance()
625 if ( p->nBarBufs == 0 ) in Dar_ManBalance()
646 int k = i < p->nBarBufs ? Aig_ManCoNum(p) - p->nBarBufs + i : i - p->nBarBufs; in Dar_ManBalance()
658 if ( i < p->nBarBufs ) in Dar_ManBalance()
659 … Aig_ManCi(pNew, Aig_ManCiNum(p) - p->nBarBufs + i)->Level = Aig_Regular(pObjNew)->Level; in Dar_ManBalance()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcMap.c272 …Num(pNtk) + Abc_NtkLatchNum(pNtk) - pNtk->nBarBufs, Abc_NtkPoNum(pNtk) + Abc_NtkLatchNum(pNtk) - p… in Abc_NtkToMap()
294 if ( i == Abc_NtkCiNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkToMap()
331 assert( Map_ManReadBufNum(pMan) == pNtk->nBarBufs ); in Abc_NtkToMap()
337 if ( i == Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkToMap()
477 assert( Map_ManReadBufNum(pMan) == pNtk->nBarBufs ); in Abc_NtkFromMap()
484 if ( i >= Abc_NtkCiNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkFromMap()
490 if ( i < Abc_NtkCiNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkFromMap()
492 …Map_NodeSetData( Map_ManReadBufs(pMan)[i - (Abc_NtkCiNum(pNtk) - pNtk->nBarBufs)], 1, (char *)pNod… in Abc_NtkFromMap()
497 if ( i < Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) in Abc_NtkFromMap()
499 pNodeMap = Map_ManReadBufDriver( pMan, i - (Abc_NtkCoNum(pNtk) - pNtk->nBarBufs) ); in Abc_NtkFromMap()
[all …]
H A DabcDar.c162 pMan->nBarBufs = pNtk->nBarBufs; in Abc_NtkToDarBmc()
282 pMan->nBarBufs = pNtk->nBarBufs; in Abc_NtkToDar()
365 pMan->nBarBufs = pNtk->nBarBufs; in Abc_NtkToDarChoices()
426 pNtkNew->nBarBufs = pNtkOld->nBarBufs; in Abc_NtkFromDar()
477 assert( pNtkOld->nBarBufs == 0 ); in Abc_NtkFromDarSeqSweep()
482 pNtkNew->nBarBufs = pMan->nBarBufs; in Abc_NtkFromDarSeqSweep()
602 pNtkNew->nBarBufs = pMan->nBarBufs; in Abc_NtkFromAigPhase()
1096 assert( pNtkOld->nBarBufs == 0 ); in Abc_NtkAfterTrim()
1104 pNtkNew->nBarBufs = pMan->nBarBufs; in Abc_NtkAfterTrim()
1186 pNtkNew->nBarBufs = pNtkOld->nBarBufs; in Abc_NtkFromDarChoices()
[all …]
H A DabcBalance.c117 if ( pNtk->nBarBufs == 0 ) in Abc_NtkBalancePerform()
131 if ( i < pNtk->nBarBufs ) in Abc_NtkBalancePerform()
H A DabcPrint.c282 if ( pNtk->nBarBufs ) in Abc_NtkPrintStats()
283 Abc_Print( 1,"(b=%d)", pNtk->nBarBufs ); in Abc_NtkPrintStats()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaScript.c305 Gia_Man_t * Gia_ManDupToBarBufs( Gia_Man_t * p, int nBarBufs ) in Gia_ManDupToBarBufs() argument
309 int nPiReal = Gia_ManCiNum(p) - nBarBufs; in Gia_ManDupToBarBufs()
310 int nPoReal = Gia_ManCoNum(p) - nBarBufs; in Gia_ManDupToBarBufs()
326 for ( ; k < nBarBufs; k++ ) in Gia_ManDupToBarBufs()
335 for ( ; k < nBarBufs; k++ ) in Gia_ManDupToBarBufs()
338 assert( k == nBarBufs ); in Gia_ManDupToBarBufs()
340 Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(Gia_ManCo(p, nBarBufs+i)) ); in Gia_ManDupToBarBufs()
342 assert( Gia_ManBufNum(pNew) == nBarBufs ); in Gia_ManDupToBarBufs()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioUtil.c508 if ( Abc_NtkWhiteboxNum(pNtkBase) > 0 && pNtk->nBarBufs == 0 ) in Io_WriteHie()
517 if ( pNtk->nBarBufs > 0 ) in Io_WriteHie()
524 … printf( "Hierarchy writer replaced %d barbufs by hierarchy boundaries.\n", pNtk->nBarBufs ); in Io_WriteHie()