From 3af0f719afa368cafbe7c8178d0995819b47be90 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 19 Sep 2012 16:28:06 -0700 Subject: Extending BLIF parser/write to hangle multi-output cells. --- src/base/abci/abcPrint.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/base/abci/abcPrint.c') diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 3244a196..5f151b49 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -1013,7 +1013,7 @@ void Abc_NtkPrintGates( Abc_Ntk_t * pNtk, int fUseLibrary ) // clean value of all gates nGates = Mio_LibraryReadGateNum( (Mio_Library_t *)pNtk->pManFunc ); - ppGates = Mio_LibraryReadGatesByName( (Mio_Library_t *)pNtk->pManFunc ); + ppGates = Mio_LibraryReadGateArray( (Mio_Library_t *)pNtk->pManFunc ); for ( i = 0; i < nGates; i++ ) Mio_GateSetValue( ppGates[i], 0 ); @@ -1024,6 +1024,9 @@ void Abc_NtkPrintGates( Abc_Ntk_t * pNtk, int fUseLibrary ) if ( i == 0 ) continue; Mio_GateSetValue( (Mio_Gate_t *)pObj->pData, 1 + Mio_GateReadValue((Mio_Gate_t *)pObj->pData) ); CounterTotal++; + // assuming that twin gates follow each other + if ( Mio_GateReadTwin(((Mio_Gate_t *)pObj->pData)) != NULL ) + i++; } // determine the longest gate name -- cgit v1.2.3