From 93c785e80250f4e7f4637d3d9317a5cf2e278b69 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 3 Jun 2016 13:22:24 -0700 Subject: Small changes for today's experiments. --- src/base/wlc/wlcBlast.c | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'src/base/wlc') 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; } -- cgit v1.2.3