diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-18 13:35:35 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-18 13:35:35 +0700 |
commit | 26fb1fcd14d1d0ac01ae00c442d1bc427bc8c2ed (patch) | |
tree | e390f3b7176747f446e0f80d53c61c8a37aa1773 /src/base/io/io.c | |
parent | ef6778b8feadb4bae61c64ab0b6d9dfcfef4422f (diff) | |
download | abc-26fb1fcd14d1d0ac01ae00c442d1bc427bc8c2ed.tar.gz abc-26fb1fcd14d1d0ac01ae00c442d1bc427bc8c2ed.tar.bz2 abc-26fb1fcd14d1d0ac01ae00c442d1bc427bc8c2ed.zip |
Special BLIF writing.
Diffstat (limited to 'src/base/io/io.c')
-rw-r--r-- | src/base/io/io.c | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 1230cd8e..c0f6b5a9 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1533,13 +1533,16 @@ usage: int IoCommandWriteBlif( Abc_Frame_t * pAbc, int argc, char **argv ) { char * pFileName; - int c; + int c, fSpecial = 0; Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "h" ) ) != EOF ) + while ( ( c = Extra_UtilGetopt( argc, argv, "jh" ) ) != EOF ) { switch ( c ) { + case 'j': + fSpecial ^= 1; + break; case 'h': goto usage; default: @@ -1556,12 +1559,16 @@ int IoCommandWriteBlif( Abc_Frame_t * pAbc, int argc, char **argv ) // get the output file name pFileName = argv[globalUtilOptind]; // call the corresponding file writer - Io_Write( pAbc->pNtkCur, pFileName, IO_FILE_BLIF ); +// if ( fSpecial ) +// Io_WriteBlifSpecial( pAbc->pNtkCur, pFileName ); +// else + Io_Write( pAbc->pNtkCur, pFileName, IO_FILE_BLIF ); return 0; usage: - fprintf( pAbc->Err, "usage: write_blif [-h] <file>\n" ); + fprintf( pAbc->Err, "usage: write_blif [-jh] <file>\n" ); fprintf( pAbc->Err, "\t writes the network into a BLIF file\n" ); + fprintf( pAbc->Err, "\t-j : enables special BLIF writing [default = %s]\n", fSpecial? "yes" : "no" );; fprintf( pAbc->Err, "\t-h : print the help massage\n" ); fprintf( pAbc->Err, "\tfile : the name of the file to write (extension .blif)\n" ); return 1; |