From c6af9094c092170b14d735097cdf805b90105287 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 20 May 2012 17:27:53 +0700 Subject: Changing 'if' to allow for delay optimization on sequential paths only. --- src/base/abci/abc.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/base/abci/abc.c') diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 1b64803c..955ba66b 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -13499,7 +13499,8 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->pLutStruct = NULL; // internal parameters pPars->fTruth = 0; - pPars->nLatches = pNtk? Abc_NtkLatchNum(pNtk) : 0; + pPars->nLatchesCi = pNtk? Abc_NtkLatchNum(pNtk) : 0; + pPars->nLatchesCo = pNtk? Abc_NtkLatchNum(pNtk) : 0; pPars->fLiftLeaves = 0; pPars->pLutLib = (If_Lib_t *)Abc_FrameReadLibLut(); pPars->pTimesArr = NULL; @@ -13695,7 +13696,7 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv ) } */ - if ( pPars->fSeqMap && pPars->nLatches == 0 ) + if ( pPars->fSeqMap && (pPars->nLatchesCi == 0 || pPars->nLatchesCo == 0) ) { Abc_Print( -1, "The network has no latches. Use combinational mapping instead of sequential.\n" ); return 1; -- cgit v1.2.3