From a277d450bf7c624392d41739788f115f1d655556 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 25 Mar 2020 12:17:12 -0700 Subject: Experiments with simulation-based engines. --- src/aig/gia/giaSimBase.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'src/aig/gia/giaSimBase.c') diff --git a/src/aig/gia/giaSimBase.c b/src/aig/gia/giaSimBase.c index afa13691..9f07da15 100644 --- a/src/aig/gia/giaSimBase.c +++ b/src/aig/gia/giaSimBase.c @@ -936,9 +936,12 @@ Vec_Wrd_t * Gia_ManSimRelDeriveFuncs2( Gia_Man_t * p, Vec_Wrd_t * vRel, int nOut else { printf( "The relation was successfully determized with don't-cares for %d patterns.\n", 64 * nWords ); - printf( "Don't-cares in each output:" ); for ( k = 0; k < nOuts; k++ ) - printf( " %d = %d", k, nDCs[k] ); + { + int nOffs = Abc_TtCountOnesVec( Vec_WrdEntryP(vFuncs, (2*k+0)*nWords), nWords ); + int nOns = Abc_TtCountOnesVec( Vec_WrdEntryP(vFuncs, (2*k+1)*nWords), nWords ); + printf( "%4d : Off = %6d On = %6d Dc = %6d (%6.2f %%)", k, nOffs, nOns, nDCs[k], 100.0*nDCs[k]/(64*nWords) ); + } printf( "\n" ); } Gia_ManSimRelCheckFuncs( p, vRel, nOuts, vFuncs ); @@ -1512,7 +1515,7 @@ void Gia_RsbUpdateRemove( Gia_RsbMan_t * p, int Index ) int Gia_RsbRemovalCost( Gia_RsbMan_t * p, int Index ) { Vec_Int_t * vTemp[2][2]; - unsigned Mask = Abc_InfoMask( Index ); + //unsigned Mask = Abc_InfoMask( Index ); int m, m2, Cost = 0, nLeaves = 1 << Vec_IntSize(p->vObjs); assert( Vec_WecSize(p->vSets[0]) == (1 << Vec_IntSize(p->vObjs)) ); assert( Vec_WecSize(p->vSets[1]) == (1 << Vec_IntSize(p->vObjs)) ); -- cgit v1.2.3