diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 01:34:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 01:34:26 -0700 |
| commit | aed3b3a13acf9113cc4ec254933efce6114519be (patch) | |
| tree | 44f656ff54b814a1b768599a9d6ae770cddbd422 /src/base/abci | |
| parent | d0197d83782fd016358360c305d5d4dcd7ef95d8 (diff) | |
| download | abc-aed3b3a13acf9113cc4ec254933efce6114519be.tar.gz abc-aed3b3a13acf9113cc4ec254933efce6114519be.tar.bz2 abc-aed3b3a13acf9113cc4ec254933efce6114519be.zip | |
Cleaned up interfaces of genlib/liberty/supergate reading/writing.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcMap.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index fb8c87ed..7c1c05be 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -93,8 +93,11 @@ Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti, { // printf( "A simple supergate library is derived from gate library \"%s\".\n", // Mio_LibraryReadName((Mio_Library_t *)Abc_FrameReadLibGen()) ); + if ( fVerbose ) + printf( "Converting \"%s\" into supergate library \"%s\".\n", + Mio_LibraryReadName(pLib), Extra_FileNameGenericAppend(Mio_LibraryReadName(pLib), ".super") ); // compute supergate library to be used for mapping - Map_SuperLibDeriveFromGenlib( pLib ); + Map_SuperLibDeriveFromGenlib( pLib, fVerbose ); } // return the library to normal @@ -455,7 +458,7 @@ Abc_Ntk_t * Abc_NtkSuperChoice( Abc_Ntk_t * pNtk ) { // printf( "A simple supergate library is derived from gate library \"%s\".\n", // Mio_LibraryReadName((Mio_Library_t *)Abc_FrameReadLibGen()) ); - Map_SuperLibDeriveFromGenlib( (Mio_Library_t *)Abc_FrameReadLibGen() ); + Map_SuperLibDeriveFromGenlib( (Mio_Library_t *)Abc_FrameReadLibGen(), 0 ); } // print a warning about choice nodes |