diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-08 21:20:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-08 21:20:13 -0700 |
| commit | 9206e6ff80e56c810814a9b9f61e45be8c4c4987 (patch) | |
| tree | 53f370b362f29e064722cddfac15c15195df901b /src/map/scl/sclUtil.c | |
| parent | 2cb69e45111e9633dce486eac17e76e0d09e6098 (diff) | |
| download | abc-9206e6ff80e56c810814a9b9f61e45be8c4c4987.tar.gz abc-9206e6ff80e56c810814a9b9f61e45be8c4c4987.tar.bz2 abc-9206e6ff80e56c810814a9b9f61e45be8c4c4987.zip | |
Improvements to gate sizing.
Diffstat (limited to 'src/map/scl/sclUtil.c')
| -rw-r--r-- | src/map/scl/sclUtil.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/scl/sclUtil.c b/src/map/scl/sclUtil.c index 6a1f6a36..37efbd44 100644 --- a/src/map/scl/sclUtil.c +++ b/src/map/scl/sclUtil.c @@ -233,6 +233,7 @@ void Abc_SclManSetGates( SC_Lib * pLib, Abc_Ntk_t * p, Vec_Int_t * vGates ) SC_Cell * pCell = SC_LibCell( pLib, Vec_IntEntry(vGates, Abc_ObjId(pObj)) ); assert( pCell->n_inputs == Abc_ObjFaninNum(pObj) ); pObj->pData = Mio_LibraryReadGateByName( (Mio_Library_t *)p->pManFunc, pCell->pName, NULL ); + assert( pObj->fMarkA == 0 && pObj->fMarkB == 0 ); //printf( "Found gate %s\n", pCell->name ); } } |