/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcBarBuf.c | 232 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 D | abcShow.c | 269 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 D | abcNtk.c | 123 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 D | abcDfs.c | 1251 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 D | abc.h | 174 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 D | abcAig.c | 297 if ( pNtk->nBarBufs ) in Abc_AigLevel()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigDup.c | 58 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 D | aigRepr.c | 277 pNew->nBarBufs = p->nBarBufs; in Aig_ManDupRepr()
|
H A D | aigScl.c | 57 pNew->nBarBufs = p->nBarBufs; in Aig_ManRemap()
|
H A D | aig.h | 110 int nBarBufs; // the number of barrier buffers member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darBalance.c | 567 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 D | abcMap.c | 272 …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 D | abcDar.c | 162 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 D | abcBalance.c | 117 if ( pNtk->nBarBufs == 0 ) in Abc_NtkBalancePerform() 131 if ( i < pNtk->nBarBufs ) in Abc_NtkBalancePerform()
|
H A D | abcPrint.c | 282 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 D | giaScript.c | 305 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 D | ioUtil.c | 508 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()
|