diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-04 16:07:33 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-04 16:07:33 -0800 |
| commit | 6c93249373bb71f7f12cf99286bae0d31d884217 (patch) | |
| tree | 25e82633852bba46b64ceea9a18cea4a60dc1b4e /src/base/cba/cbaWriteVer.c | |
| parent | 360cc99f0114b0fbbb6b42b17c0d4d32cb121d99 (diff) | |
| download | abc-6c93249373bb71f7f12cf99286bae0d31d884217.tar.gz abc-6c93249373bb71f7f12cf99286bae0d31d884217.tar.bz2 abc-6c93249373bb71f7f12cf99286bae0d31d884217.zip | |
Improvements to the CBA package.
Diffstat (limited to 'src/base/cba/cbaWriteVer.c')
| -rw-r--r-- | src/base/cba/cbaWriteVer.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/base/cba/cbaWriteVer.c b/src/base/cba/cbaWriteVer.c index 15ed2c36..70042f21 100644 --- a/src/base/cba/cbaWriteVer.c +++ b/src/base/cba/cbaWriteVer.c @@ -397,7 +397,7 @@ 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) : "" ); @@ -669,6 +669,11 @@ void Cba_ManWriteVerilog( char * pFileName, Cba_Man_t * p, int fUseAssign ) // derive the stream p->vOut = Vec_StrAlloc( 10000 ); p->vOut2 = Vec_StrAlloc( 1000 ); + Vec_StrPrintStr( p->vOut, "// Design \"" ); + Vec_StrPrintStr( p->vOut, Cba_ManName(p) ); + Vec_StrPrintStr( p->vOut, "\" written via CBA package in ABC on " ); + Vec_StrPrintStr( p->vOut, Extra_TimeStamp() ); + Vec_StrPrintStr( p->vOut, "\n\n" ); Cba_ManAssignInternWordNames( p ); Cba_ManForEachNtk( p, pNtk, i ) Cba_ManWriteVerilogNtk( pNtk, fUseAssign ); |