diff options
Diffstat (limited to 'src/base/io/ioReadBench.c')
| -rw-r--r-- | src/base/io/ioReadBench.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/base/io/ioReadBench.c b/src/base/io/ioReadBench.c index 2730ba69..ba622e40 100644 --- a/src/base/io/ioReadBench.c +++ b/src/base/io/ioReadBench.c @@ -118,7 +118,13 @@ Abc_Ntk_t * Io_ReadBenchNetwork( Extra_FileReader_t * p ) if ( strncmp(pType, "DFF", 3) == 0 ) // works for both DFF and DFFRSE { pNode = Io_ReadCreateLatch( pNtk, vTokens->pArray[2], vTokens->pArray[0] ); - Abc_LatchSetInit0( pNode ); +// Abc_LatchSetInit0( pNode ); + if ( pType[3] == '0' ) + Abc_LatchSetInit0( pNode ); + else if ( pType[3] == '1' ) + Abc_LatchSetInit1( pNode ); + else + Abc_LatchSetInitDc( pNode ); } else if ( strcmp(pType, "LUT") == 0 ) { |