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/ioWriteVerilog.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/ioWriteVerilog.c')
-rw-r--r-- | src/base/io/ioWriteVerilog.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/io/ioWriteVerilog.c b/src/base/io/ioWriteVerilog.c index f524690f..ad49e93a 100644 --- a/src/base/io/ioWriteVerilog.c +++ b/src/base/io/ioWriteVerilog.c @@ -718,7 +718,7 @@ void Io_WriteVerilogObjectsLut( FILE * pFile, Abc_Ntk_t * pNtk, int nLutSize ) if ( nLutSize == 6 ) fprintf( pFile, "%08x%08x", (unsigned)(Truth >> 32), (unsigned)Truth ); else - fprintf( pFile, "%0*x", 1<<(nLutSize-2), Abc_InfoMask(1 << nLutSize) & Truth ); + fprintf( pFile, "%0*x", 1<<(nLutSize-2), Abc_InfoMask(1 << nLutSize) & (unsigned)Truth ); fprintf( pFile, ") lut_%0*d ( {", nDigits, Counter++ ); for ( k = nLutSize - 1; k >= Abc_ObjFaninNum(pObj); k-- ) fprintf( pFile, "%*s, ", Length, "1\'b0" ); @@ -804,7 +804,7 @@ void Io_WriteVerilogLut( Abc_Ntk_t * pNtk, char * pFileName, int nLutSize ) } if ( Counter ) { - printf( "In total, %d internal logic nodes exceeded the fanout count limit.\n", Counter ); + printf( "In total, %d internal logic nodes exceed the fanin count limit. Verilog is not written.\n", Counter ); return; } |