diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-05 13:49:23 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-05 13:49:23 -0700 |
commit | 5b588e0951b1b392b0eed69c0339a83d1e4df8f2 (patch) | |
tree | 2870abec5f10c86f649ba0dfb486d754e258612f /src/base/wlc/wlc.h | |
parent | 812a1bb3ab224a3de859006314a10a7012465913 (diff) | |
download | abc-5b588e0951b1b392b0eed69c0339a83d1e4df8f2.tar.gz abc-5b588e0951b1b392b0eed69c0339a83d1e4df8f2.tar.bz2 abc-5b588e0951b1b392b0eed69c0339a83d1e4df8f2.zip |
Exposing a switch to generate carry-lookahead adder during bit-blasting.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index 02921722..aacd27a7 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -208,6 +208,7 @@ struct Wlc_BstPar_t_ int fAddOutputs; int fMulti; int fBooth; + int fCla; int fNoCleanup; int fCreateMiter; int fDecMuxes; @@ -226,6 +227,7 @@ static inline void Wlc_BstParDefault( Wlc_BstPar_t * pPar ) pPar->fAddOutputs = 0; pPar->fMulti = 0; pPar->fBooth = 0; + pPar->fCla = 0; pPar->fCreateMiter = 0; pPar->fDecMuxes = 0; pPar->fVerbose = 0; |