From e7527a47ba9d6cba9c9e72800aa91817ec923616 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 25 Sep 2012 16:37:25 -0700 Subject: Cleaned up interfaces of genlib/liberty/supergate reading/writing. --- src/map/super/super.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/map/super/super.c') diff --git a/src/map/super/super.c b/src/map/super/super.c index f188472e..4786b5ce 100644 --- a/src/map/super/super.c +++ b/src/map/super/super.c @@ -243,7 +243,7 @@ int Super_CommandSupergates( Abc_Frame_t * pAbc, int argc, char **argv ) if ( argc != globalUtilOptind + 1 ) { - fprintf( pErr, "The GENLIB library file should be given on the command line.\n" ); + fprintf( pErr, "The genlib library file should be given on the command line.\n" ); goto usage; } @@ -275,7 +275,8 @@ int Super_CommandSupergates( Abc_Frame_t * pAbc, int argc, char **argv ) } // compute the gates - Super_Precompute( pLib, nVarsMax, nLevels, nGatesMax, DelayLimit, AreaLimit, TimeLimit, fSkipInvs, fWriteOldFormat, fVerbose ); + FileName = Extra_FileNameGenericAppend(Mio_LibraryReadName(pLib), ".super"); + Super_Precompute( pLib, nVarsMax, nLevels, nGatesMax, DelayLimit, AreaLimit, TimeLimit, fSkipInvs, fVerbose, FileName ); // delete the library Mio_LibraryDelete( pLib ); @@ -283,7 +284,7 @@ int Super_CommandSupergates( Abc_Frame_t * pAbc, int argc, char **argv ) usage: fprintf( pErr, "usage: super [-ILNT num] [-DA float] [-E file] [-sovh] \n"); - fprintf( pErr, "\t precomputes the supergates for the given GENLIB library\n" ); + fprintf( pErr, "\t precomputes the supergates for the given genlib library\n" ); fprintf( pErr, "\t-I num : the max number of supergate inputs [default = %d]\n", nVarsMax ); fprintf( pErr, "\t-L num : the max number of levels of gates [default = %d]\n", nLevels ); fprintf( pErr, "\t-N num : the limit on the number of considered supergates [default = %d]\n", nGatesMax ); -- cgit v1.2.3