diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-18 08:34:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-18 08:34:05 -0700 |
| commit | 2f86667326a2f4f16c164b803d8e94c7b154ba32 (patch) | |
| tree | 2aa38e78384693e0817ce9bb240c0bf97a2f8e01 /src/base/wlc/wlcBlast.c | |
| parent | 3d7034bf619aada30b0ba1e8afcb151d304ab556 (diff) | |
| download | abc-2f86667326a2f4f16c164b803d8e94c7b154ba32.tar.gz abc-2f86667326a2f4f16c164b803d8e94c7b154ba32.tar.bz2 abc-2f86667326a2f4f16c164b803d8e94c7b154ba32.zip | |
Adding output range support to %blast.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index a954828b..97b32144 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -820,7 +820,7 @@ void Wlc_BlastBooth( Gia_Man_t * pNew, int * pArgA, int * pArgB, int nArgA, int SeeAlso [] ***********************************************************************/ -Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds, int fGiaSimple, int fAddOutputs ) +Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds, int iOutput, int nOutputRange, int fGiaSimple, int fAddOutputs ) { int fVerbose = 0; int fUseOldMultiplierBlasting = 0; @@ -1314,6 +1314,9 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds, int fGiaSimple, // create COs Wlc_NtkForEachCo( p, pObj, i ) { + // skip all outputs except the given ones + if ( iOutput >= 0 && (i < iOutput || i >= iOutput + nOutputRange) ) + continue; // create additional PO literals if ( vAddOutputs && pObj->fIsFi ) { |