diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:34:29 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:34:29 -0800 |
| commit | d5a952c4622c55c656e9d1d128cde32afa3c5835 (patch) | |
| tree | 206b4bb2d91e545d8d00cbe1df268873631a0dfb | |
| parent | dd912b5c610b1304e5ca27a5b9ec9906ca1bb4e1 (diff) | |
| download | abc-d5a952c4622c55c656e9d1d128cde32afa3c5835.tar.gz abc-d5a952c4622c55c656e9d1d128cde32afa3c5835.tar.bz2 abc-d5a952c4622c55c656e9d1d128cde32afa3c5835.zip | |
Bug fix in 'testcex' when flop count in the CEX is different from the network (say, after seq synthesis).
| -rw-r--r-- | src/base/abc/abcLatch.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/abc/abcLatch.c b/src/base/abc/abcLatch.c index 8481e582..34b77e34 100644 --- a/src/base/abc/abcLatch.c +++ b/src/base/abc/abcLatch.c @@ -733,9 +733,10 @@ int Abc_NtkVerifyCex( Abc_Ntk_t * pNtk, Abc_Cex_t * p ) Abc_NtkCleanMarkC( pNtk ); Abc_AigConst1(pNtk)->fMarkC = 1; // initialize flops - Abc_NtkForEachLatch( pNtk, pObj, i ) - Abc_ObjFanout0(pObj)->fMarkC = Abc_InfoHasBit(p->pData, iBit++); +// Abc_NtkForEachLatch( pNtk, pObj, i ) +// Abc_ObjFanout0(pObj)->fMarkC = Abc_InfoHasBit(p->pData, iBit++); // simulate timeframes + iBit = p->nRegs; for ( i = 0; i <= p->iFrame; i++ ) { Abc_NtkForEachPi( pNtk, pObj, k ) |