diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-14 20:42:22 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-14 20:42:22 -0800 |
commit | c4446189a9ca5a187a2ede26a7102866d2c5ae8e (patch) | |
tree | 80ad2a0bda4862515b5eaa360a67db6dc8881efc /src/base/wlc/wlcBlast.c | |
parent | f30facfec8aed1f80dec1b2cd99662e8f5dd17ab (diff) | |
download | abc-c4446189a9ca5a187a2ede26a7102866d2c5ae8e.tar.gz abc-c4446189a9ca5a187a2ede26a7102866d2c5ae8e.tar.bz2 abc-c4446189a9ca5a187a2ede26a7102866d2c5ae8e.zip |
Changes to PDR to compute f-inf clauses and import invariant (or clauses) as a network.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
-rw-r--r-- | src/base/wlc/wlcBlast.c | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 426d9bbf..f3e0af8a 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -1111,52 +1111,6 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) return pNew; } -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Wlc_NtkPrintInvStats( Wlc_Ntk_t * pNtk, Vec_Int_t * vInv, int fVerbose ) -{ - Wlc_Obj_t * pObj; - int i, k, nNum, nRange, nBits = 0; - Wlc_NtkForEachCi( pNtk, pObj, i ) - { - if ( pObj->Type != WLC_OBJ_FO ) - continue; - nRange = Wlc_ObjRange(pObj); - for ( k = 0; k < nRange; k++ ) - { - nNum = Vec_IntEntry(vInv, nBits + k); - if ( nNum ) - break; - } - if ( k == nRange ) - { - nBits += nRange; - continue; - } - printf( "%s[%d:%d] : ", Wlc_ObjName(pNtk, Wlc_ObjId(pNtk, pObj)), pObj->End, pObj->Beg ); - for ( k = 0; k < nRange; k++ ) - { - nNum = Vec_IntEntry( vInv, nBits + k ); - if ( nNum == 0 ) - continue; - printf( " [%d] -> %d", k, nNum ); - } - printf( "\n"); - nBits += nRange; - } - //printf( "%d %d\n", Vec_IntSize(vInv), nBits ); - assert( Vec_IntSize(vInv) == nBits ); -} - //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |