Skip to content

A
abc
Commit a03a726d by Alan Mishchenko
Options

Bug fix in writing latch init values in 'write_aiger'.

parent dd867b40
Showing with 3 additions and 3 deletions
src/base/io/ioWriteAiger.c
...@@ -340,7 +340,7 @@ void Io_WriteAiger_old( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, i ...@@ -340,7 +340,7 @@ void Io_WriteAiger_old( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, i
{ {
// Both None and DC are written as 'uninitialized' e.g. a free boolean value // Both None and DC are written as 'uninitialized' e.g. a free boolean value
assert( Abc_LatchIsInitNone(pLatch) || Abc_LatchIsInitDc(pLatch) ); assert( Abc_LatchIsInitNone(pLatch) || Abc_LatchIsInitDc(pLatch) );
fprintf( pFile, "%u %u\n", uLit, Io_ObjMakeLit( Io_ObjAigerNum(pLatch), 0 ) ); fprintf( pFile, "%u %u\n", uLit, Io_ObjMakeLit( Io_ObjAigerNum(Abc_ObjFanout0(pLatch)), 0 ) );
} }
} }
// write PO drivers // write PO drivers
...@@ -492,7 +492,7 @@ void Io_WriteAigerGz( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols ) ...@@ -492,7 +492,7 @@ void Io_WriteAigerGz( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols )
{ {
// Both None and DC are written as 'uninitialized' e.g. a free boolean value // Both None and DC are written as 'uninitialized' e.g. a free boolean value
assert( Abc_LatchIsInitNone(pLatch) || Abc_LatchIsInitDc(pLatch) ); assert( Abc_LatchIsInitNone(pLatch) || Abc_LatchIsInitDc(pLatch) );
gzprintf( pFile, "%u %u\n", uLit, Io_ObjMakeLit( Io_ObjAigerNum(pLatch), 0 ) ); gzprintf( pFile, "%u %u\n", uLit, Io_ObjMakeLit( Io_ObjAigerNum(Abc_ObjFanout0(pLatch)), 0 ) );
} }
} }
// write PO drivers // write PO drivers
...@@ -737,7 +737,7 @@ void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int f ...@@ -737,7 +737,7 @@ void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int f
{ {
// Both None and DC are written as 'uninitialized' e.g. a free boolean value // Both None and DC are written as 'uninitialized' e.g. a free boolean value
assert( Abc_LatchIsInitNone(pLatch) || Abc_LatchIsInitDc(pLatch) ); assert( Abc_LatchIsInitNone(pLatch) || Abc_LatchIsInitDc(pLatch) );
fprintfBz2Aig( &b, "%u %u\n", uLit, Io_ObjMakeLit( Io_ObjAigerNum(pLatch), 0 ) ); fprintfBz2Aig( &b, "%u %u\n", uLit, Io_ObjMakeLit( Io_ObjAigerNum(Abc_ObjFanout0(pLatch)), 0 ) );
} }
} }
// write PO drivers // write PO drivers
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment