From f936cc0680c98ffe51b3a1716c996072d5dbf76c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 18 Jan 2009 08:01:00 -0800 Subject: Version abc90118 --- src/opt/cut/cut.h | 2 ++ src/opt/cut/cutNode.c | 7 +++++++ 2 files changed, 9 insertions(+) (limited to 'src/opt/cut') diff --git a/src/opt/cut/cut.h b/src/opt/cut/cut.h index dee05dfc..faa249f2 100644 --- a/src/opt/cut/cut.h +++ b/src/opt/cut/cut.h @@ -64,8 +64,10 @@ struct Cut_ParamsStruct_t_ int fGlobal; // compute only global cuts int fLocal; // compute only local cuts int fRecord; // record the cut computation flow + int fRecordAig; // record the cut functions int fFancy; // perform fancy computations int fMap; // computes delay of FPGA mapping with cuts + int fAdjust; // removed useless fanouts of XORs/MUXes int fVerbose; // the verbosiness flag }; diff --git a/src/opt/cut/cutNode.c b/src/opt/cut/cutNode.c index 2d17020b..633219fd 100644 --- a/src/opt/cut/cutNode.c +++ b/src/opt/cut/cutNode.c @@ -393,6 +393,13 @@ p->timeMerge += clock() - clk; Vec_IntPush( p->vCutPairs, ((pCut->Num1 << 16) | pCut->Num0) ); Vec_IntWriteEntry( p->vNodeCuts, Node, Vec_IntSize(p->vCutPairs) - Vec_IntEntry(p->vNodeStarts, Node) ); } + if ( p->pParams->fRecordAig ) + { + extern void Aig_RManRecord( unsigned * pTruth, int nVarsInit ); + Cut_ListForEachCut( pList, pCut ) + if ( Cut_CutReadLeaveNum(pCut) > 4 ) + Aig_RManRecord( Cut_CutReadTruth(pCut), Cut_CutReadLeaveNum(pCut) ); + } // check if the node is over the list if ( p->nNodeCuts == p->pParams->nKeepMax ) p->nCutsLimit++; -- cgit v1.2.3