diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-20 11:07:12 -0800 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-20 11:07:12 -0800 |
commit | 19510bd38e46fd913bf6dc29393938e50fd717ee (patch) | |
tree | e9c3a02504304027ba657e22e4ba37a43d4d8ef0 /src/base/wlc/wlcAbs.c | |
parent | 222b3741a40af2913132ef385936b955bbc19b4d (diff) | |
download | abc-19510bd38e46fd913bf6dc29393938e50fd717ee.tar.gz abc-19510bd38e46fd913bf6dc29393938e50fd717ee.tar.bz2 abc-19510bd38e46fd913bf6dc29393938e50fd717ee.zip |
added datastructure for %pdra options
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
-rw-r--r-- | src/base/wlc/wlcAbs.c | 27 |
1 files changed, 26 insertions, 1 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index 902c060d..8fde7f56 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -40,6 +40,31 @@ extern int IPdr_ManSolveInt( Pdr_Man_t * p ); /**Function************************************************************* + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ + +void WlcPdr_ManSetDefaultParams( WlcPdr_Par_t * pPars ) +{ + memset( pPars, 0, sizeof(WlcPdr_Par_t) ); + pPars->nBitsAdd = ABC_INFINITY; // adder bit-width + pPars->nBitsMul = ABC_INFINITY; // multiplier bit-width + pPars->nBitsMux = ABC_INFINITY; // MUX bit-width + pPars->nBitsFlop = ABC_INFINITY; // flop bit-width + pPars->nIterMax = 1000; // the max number of iterations + pPars->fXorOutput = 1; // XOR outputs of word-level miter + pPars->fVerbose = 0; // verbose output + pPars->fPdrVerbose = 0; // show verbose PDR output +} + +/**Function************************************************************* + Synopsis [Mark operators that meet the abstraction criteria.] Description [This procedure returns the array of objects (vLeaves) that @@ -310,7 +335,7 @@ static int Wlc_NtkRemoveFromAbstraction( Wlc_Ntk_t * p, Vec_Int_t * vRefine, Vec SeeAlso [] ***********************************************************************/ -int Wlc_NtkPdrAbs( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) +int Wlc_NtkPdrAbs( Wlc_Ntk_t * p, WlcPdr_Par_t * pPars ) { abctime clk = Abc_Clock(); abctime pdrClk; |