summaryrefslogtreecommitdiffstats
path: root/src/base/io
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-11-21 11:39:57 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2013-11-21 11:39:57 -0800
commitb21447b6dfecf39b2cfcfdd028a9c1c6a13a9e07 (patch)
treee31bfd97dab99082acfba6dba24123effb9b3bc3 /src/base/io
parent260fe0830a3400f2345868fb8c9a52ad480e63b1 (diff)
downloadabc-b21447b6dfecf39b2cfcfdd028a9c1c6a13a9e07.tar.gz
abc-b21447b6dfecf39b2cfcfdd028a9c1c6a13a9e07.tar.bz2
abc-b21447b6dfecf39b2cfcfdd028a9c1c6a13a9e07.zip
Bug fix in writing constants in write_verilog.
Diffstat (limited to 'src/base/io')
-rw-r--r--src/base/io/ioWriteVerilog.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioWriteVerilog.c b/src/base/io/ioWriteVerilog.c
index 6ffed4a7..5ba8258c 100644
--- a/src/base/io/ioWriteVerilog.c
+++ b/src/base/io/ioWriteVerilog.c
@@ -523,7 +523,7 @@ void Io_WriteVerilogObjects( FILE * pFile, Abc_Ntk_t * pNtk )
{
Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData;
Mio_Pin_t * pGatePin;
- if ( Abc_ObjFaninNum(pObj) == 0 )
+ if ( Abc_ObjFaninNum(pObj) == 0 && (!strcmp(Mio_GateReadName(pGate), "_const0_") || !strcmp(Mio_GateReadName(pGate), "_const1_")) )
{
fprintf( pFile, " %-*s %s = 1\'b%d;\n", Length, "assign", Io_WriteVerilogGetName(Abc_ObjName( Abc_ObjFanout0(pObj) )), !strcmp(Mio_GateReadName(pGate), "_const1_") );
continue;