diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-09 17:19:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-09 17:19:22 -0700 |
| commit | 8a30b675b5e93db1c63353b72820c95198d5dc4b (patch) | |
| tree | da8feba095732572bd2b5f4c86321448657196a0 /src/base/cba/cbaWriteVer.c | |
| parent | 6a4e94e74de5158280ca6959b17c2c86db1299a4 (diff) | |
| download | abc-8a30b675b5e93db1c63353b72820c95198d5dc4b.tar.gz abc-8a30b675b5e93db1c63353b72820c95198d5dc4b.tar.bz2 abc-8a30b675b5e93db1c63353b72820c95198d5dc4b.zip | |
Improvements to Cba data-structure.
Diffstat (limited to 'src/base/cba/cbaWriteVer.c')
| -rw-r--r-- | src/base/cba/cbaWriteVer.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/base/cba/cbaWriteVer.c b/src/base/cba/cbaWriteVer.c index f5a97083..bf54e2a1 100644 --- a/src/base/cba/cbaWriteVer.c +++ b/src/base/cba/cbaWriteVer.c @@ -112,7 +112,7 @@ static void Prs_ManWriteVerilogBoxes( FILE * pFile, Prs_Ntk_t * p ) Prs_NtkForEachBox( p, vBox, i ) { Cba_ObjType_t NtkId = Prs_BoxNtk(p, i); - char * pNtkName = Prs_NtkStr(p, Prs_BoxName(p, i)); + //char * pNtkName = Prs_NtkStr(p, Prs_BoxName(p, i)); if ( NtkId == CBA_BOX_MUX ) Prs_ManWriteVerilogMux( pFile, p, vBox ); else if ( Prs_BoxIsNode(p, i) ) // node ------- check order of fanins @@ -123,7 +123,6 @@ static void Prs_ManWriteVerilogBoxes( FILE * pFile, Prs_Ntk_t * p ) } else // box { - //char * s = Prs_NtkStr(p, Vec_IntEntry(vBox, 0)); fprintf( pFile, " %s %s (", Prs_NtkStr(p, NtkId), Prs_BoxName(p, i) ? Prs_NtkStr(p, Prs_BoxName(p, i)) : "" ); Prs_ManWriteVerilogArray2( pFile, p, vBox ); fprintf( pFile, ");\n" ); @@ -311,8 +310,10 @@ char * Cba_FonGetName( Cba_Ntk_t * p, int i ) return pName; return Vec_StrPrintF( Abc_NamBuffer(Cba_NtkNam(p)), "\\%s ", pName ); } -char * Cba_ManGetSliceName( Cba_Ntk_t * p, int iFon, int Left, int Right ) +char * Cba_ManGetSliceName( Cba_Ntk_t * p, int iFon, int RangeId ) { + int Left = Cba_NtkRangeLeft(p, RangeId); + int Right = Cba_NtkRangeRight(p, RangeId); char * pName = Cba_FonNameStr(p, iFon); if ( Cba_NameIsLegalInVerilog(pName) ) if ( Left == Right ) |