diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-22 23:11:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-22 23:11:04 -0700 |
| commit | 038f2964531fc3e1e59ad3d98eebf8722edbef72 (patch) | |
| tree | cbd0a56f51cfbe963bd7f171013ffadd64da9dc0 /src/map | |
| parent | 054caacb3c196efb1a76ce6aa1b9eb894e3eef53 (diff) | |
| download | abc-038f2964531fc3e1e59ad3d98eebf8722edbef72.tar.gz abc-038f2964531fc3e1e59ad3d98eebf8722edbef72.tar.bz2 abc-038f2964531fc3e1e59ad3d98eebf8722edbef72.zip | |
Bug fix and warning print.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/scl/scl.c | 1 | ||||
| -rw-r--r-- | src/map/scl/sclUtil.c | 6 |
2 files changed, 5 insertions, 2 deletions
diff --git a/src/map/scl/scl.c b/src/map/scl/scl.c index 16923f8e..cd0d3154 100644 --- a/src/map/scl/scl.c +++ b/src/map/scl/scl.c @@ -992,7 +992,6 @@ usage: ***********************************************************************/ int Scl_CommandDumpGen( Abc_Frame_t * pAbc, int argc, char **argv ) { - Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); char * pFileName; float Slew = 100; float Gain = 2; diff --git a/src/map/scl/sclUtil.c b/src/map/scl/sclUtil.c index 4da1dd03..a28ef0cd 100644 --- a/src/map/scl/sclUtil.c +++ b/src/map/scl/sclUtil.c @@ -63,15 +63,19 @@ Vec_Int_t * Abc_SclManFindGates( SC_Lib * pLib, Abc_Ntk_t * p ) void Abc_SclManSetGates( SC_Lib * pLib, Abc_Ntk_t * p, Vec_Int_t * vGates ) { Abc_Obj_t * pObj; - int i; + int i, Counter = 0, CounterAll = 0; Abc_NtkForEachNode1( p, pObj, i ) { 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 ); + Counter += (pObj->pData == NULL); assert( pObj->fMarkA == 0 && pObj->fMarkB == 0 ); + CounterAll++; //printf( "Found gate %s\n", pCell->name ); } + if ( Counter ) + printf( "Could not find %d (out of %d) gates in the current library.\n", Counter, CounterAll ); } /**Function************************************************************* |