From e855eaa080c0ac1162ff8a8b5d227dce0c456997 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 11 Apr 2014 12:01:36 -0700 Subject: Improvements to DSD in technology mapping. --- src/base/abci/abc.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/base') diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 862c5fbc..099c6519 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -15127,7 +15127,7 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->fTruth = 1; pPars->fCutMin = 1; pPars->fExpRed = 0; - pPars->fUsePerm = pPars->fDsdBalance; + pPars->fUsePerm = 0; pPars->fUseDsd = pPars->fDsdBalance; pPars->pLutLib = NULL; } @@ -15147,7 +15147,7 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->fTruth = 1; pPars->fCutMin = 1; pPars->fExpRed = 0; - pPars->fUsePerm = pPars->fUseDsd; + pPars->fUsePerm = 0; } if ( pPars->fUseDsd ) @@ -29882,7 +29882,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->fCutMin = 1; pPars->fExpRed = 0; pPars->fUsePerm = pPars->fDsdBalance; - pPars->fUseDsd = pPars->fDsdBalance; + pPars->fUseDsd = 0; pPars->pLutLib = NULL; } // modify for delay optimization @@ -29901,7 +29901,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->fTruth = 1; pPars->fCutMin = 1; pPars->fExpRed = 0; - pPars->fUsePerm = pPars->fUseDsd; + pPars->fUsePerm = 0; } if ( pPars->fUseDsd ) -- cgit v1.2.3