diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-10-31 16:14:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-10-31 16:14:52 -0700 |
commit | 2325cd77e3d6072b335dd551b3eda2ef20eaa92c (patch) | |
tree | 109d542bceef76213b45269d34875d28ad2c4e06 /src/base/io/io.c | |
parent | f9af41ba1bb6dff04e888c285052a9e1ec6d6456 (diff) | |
download | abc-2325cd77e3d6072b335dd551b3eda2ef20eaa92c.tar.gz abc-2325cd77e3d6072b335dd551b3eda2ef20eaa92c.tar.bz2 abc-2325cd77e3d6072b335dd551b3eda2ef20eaa92c.zip |
Adding an option to write Verilog with LUT instances (compiler warnings).
Diffstat (limited to 'src/base/io/io.c')
-rw-r--r-- | src/base/io/io.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 752efdfd..dec5ee45 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -3039,7 +3039,7 @@ int IoCommandWriteVerilog( Abc_Frame_t * pAbc, int argc, char **argv ) usage: fprintf( pAbc->Err, "usage: write_verilog [-K num] [-ah] <file>\n" ); fprintf( pAbc->Err, "\t writes the current network in Verilog format\n" ); - fprintf( pAbc->Err, "\t-K num : write the network using instances of K-LUTs (2 <= K <= %d) [default = not used]\n", 6, nLutSize ); + fprintf( pAbc->Err, "\t-K num : write the network using instances of K-LUTs (2 <= K <= 6) [default = not used]\n" ); fprintf( pAbc->Err, "\t-a : toggle writing expressions with only ANDs (without XORs and MUXes) [default = %s]\n", fOnlyAnds? "yes":"no" ); fprintf( pAbc->Err, "\t-h : print the help massage\n" ); fprintf( pAbc->Err, "\tfile : the name of the file to write\n" ); |