diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:48:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:48:55 -0800 |
| commit | e17234d90ca610fdd3cb408228a347b0440aa861 (patch) | |
| tree | f23e338fd78c3065c59a7946be385ba56ce6cd24 /src/base/cba/cbaWriteVer.c | |
| parent | 7441908ffbafd6bed148596fc53fd503dff6fa32 (diff) | |
| download | abc-e17234d90ca610fdd3cb408228a347b0440aa861.tar.gz abc-e17234d90ca610fdd3cb408228a347b0440aa861.tar.bz2 abc-e17234d90ca610fdd3cb408228a347b0440aa861.zip | |
Improvements to the CBA package.
Diffstat (limited to 'src/base/cba/cbaWriteVer.c')
| -rw-r--r-- | src/base/cba/cbaWriteVer.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/cba/cbaWriteVer.c b/src/base/cba/cbaWriteVer.c index c8d7839e..15ed2c36 100644 --- a/src/base/cba/cbaWriteVer.c +++ b/src/base/cba/cbaWriteVer.c @@ -397,8 +397,10 @@ static inline void Cba_ManWriteGate( Cba_Ntk_t * p, int iObj ) char * pGateName = Abc_NamStr(p->pDesign->pMods, Cba_BoxNtkId(p, iObj)); Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen( Abc_FrameGetGlobalFrame() ); Mio_Gate_t * pGate = Mio_LibraryReadGateByName( pLib, pGateName, NULL ); - Vec_StrPrintStr( vStr, " " ); + Vec_StrPrintStr( vStr, " " ); Vec_StrPrintStr( vStr, pGateName ); + Vec_StrPrintStr( vStr, " " ); + Vec_StrPrintStr( vStr, Cba_ObjName(p, iObj) ? Cba_ObjNameStr(p, iObj) : "" ); Vec_StrPrintStr( vStr, " (" ); Cba_BoxForEachBi( p, iObj, iTerm, k ) { |