diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-03 13:22:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-03 13:22:24 -0700 |
| commit | 93c785e80250f4e7f4637d3d9317a5cf2e278b69 (patch) | |
| tree | 3a2064f5a8ac25ab24850d658b68cf59eaafc2e5 /src/base/wlc | |
| parent | e33d6e8d9d8f84c2f06bd251d459e758714aed57 (diff) | |
| download | abc-93c785e80250f4e7f4637d3d9317a5cf2e278b69.tar.gz abc-93c785e80250f4e7f4637d3d9317a5cf2e278b69.tar.bz2 abc-93c785e80250f4e7f4637d3d9317a5cf2e278b69.zip | |
Small changes for today's experiments.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index f6cd9310..826dbfa1 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -1344,6 +1344,25 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds, int fGiaSimple assert( Vec_PtrSize(pNew->vNamesOut) == Gia_ManCoNum(pNew) ); */ pNew->pSpec = Abc_UtilStrsav( p->pSpec ? p->pSpec : p->pName ); + // dump the miter parts + if ( 0 ) + { + char pFileName0[1000], pFileName1[1000]; + char * pNameGeneric = Extra_FileNameGeneric( p->pSpec ); + Vec_Int_t * vOrder = Vec_IntStartNatural( Gia_ManPoNum(pNew) ); + Gia_Man_t * pGia0 = Gia_ManDupCones( pNew, Vec_IntArray(vOrder), Vec_IntSize(vOrder)/2, 0 ); + Gia_Man_t * pGia1 = Gia_ManDupCones( pNew, Vec_IntArray(vOrder) + Vec_IntSize(vOrder)/2, Vec_IntSize(vOrder)/2, 0 ); + assert( Gia_ManPoNum(pNew) % 2 == 0 ); + sprintf( pFileName0, "%s_lhs_.aig", pNameGeneric ); + sprintf( pFileName1, "%s_rhs_.aig", pNameGeneric ); + Gia_AigerWrite( pGia0, pFileName0, 0, 0 ); + Gia_AigerWrite( pGia1, pFileName1, 0, 0 ); + Gia_ManStop( pGia0 ); + Gia_ManStop( pGia1 ); + Vec_IntFree( vOrder ); + ABC_FREE( pNameGeneric ); + printf( "Dumped two parts of the miter into files \"%s\" and \"%s\".\n", pFileName0, pFileName1 ); + } return pNew; } |