From 30e2b727a1b941bdc968da3e09ed7655124b217b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 20 Nov 2019 21:47:30 +0800 Subject: Bug fix in printing truth table in Verilog. --- src/base/wlc/wlcWriteVer.c | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index c6763e93..8821d7ea 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -144,6 +144,16 @@ void Wlc_WriteVerIntVec( FILE * pFile, Wlc_Ntk_t * p, Vec_Int_t * vVec, int Star NameCounter++; } } + +int Wlc_ObjFaninBitNum( Wlc_Ntk_t * p, Wlc_Obj_t * pObj ) +{ + Wlc_Obj_t * pFanin; + int i, Count = 0; + Wlc_ObjForEachFaninObj( p, pObj, pFanin, i ) + Count += Wlc_ObjRange(pFanin); + return Count; +} + void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p, int fNoFlops ) { Wlc_Obj_t * pObj; @@ -215,7 +225,7 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p, int fNoFlops ) { word Truth = Vec_WrdEntry( p->vLutTruths, Wlc_ObjId(p, pObj) ); fprintf( pFile, " ; // TT = " ); - Extra_PrintHex( pFile, (unsigned *)&Truth, Wlc_ObjFaninNum(pObj) ); + Extra_PrintHex( pFile, (unsigned *)&Truth, Wlc_ObjFaninBitNum(p, pObj) ); } } else if ( pObj->Type == WLC_OBJ_CONST ) -- cgit v1.2.3