diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-04 17:45:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-04 17:45:24 -0700 |
| commit | a1e9f668a88f01dccda8da1bc5ca8e22211b1751 (patch) | |
| tree | 277a1c1e6b11945a906ae5e8c0c4e6fa8feb0bd8 /src/base | |
| parent | 26dc25b7f5e23689636b4d89b98281e821cf7fe8 (diff) | |
| download | abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.tar.gz abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.tar.bz2 abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.zip | |
Adding support for black boxes in extended AIG.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcTim.c | 2 | ||||
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcTim.c b/src/base/abci/abcTim.c index 98d3220a..ba183402 100644 --- a/src/base/abci/abcTim.c +++ b/src/base/abci/abcTim.c @@ -327,7 +327,7 @@ Gia_Man_t * Abc_NtkTestTimDeriveGia( Abc_Ntk_t * pNtk, int fVerbose ) } // create box BoxUniqueId = Abc_ObjFaninNum(pObj); // in this case, the node size is the ID of its delay table - Tim_ManCreateBox( pTim, curPo, Abc_ObjFaninNum(pObj), curPi, 1, BoxUniqueId ); + Tim_ManCreateBox( pTim, curPo, Abc_ObjFaninNum(pObj), curPi, 1, BoxUniqueId, 0 ); curPo += Abc_ObjFaninNum(pObj); // handle box inputs diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 757a8005..c5a6ab2f 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -613,7 +613,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) pObj->Mark = 0; // create new box - Tim_ManCreateBox( pManTime, curPo, nRange0 + nRange1, curPi, nRange, -1 ); + Tim_ManCreateBox( pManTime, curPo, nRange0 + nRange1, curPi, nRange, -1, 0 ); curPi += nRange; curPo += nRange0 + nRange1; |