abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Functions
rwrMan.c File Reference
#include "rwr.h"
#include "base/main/main.h"
#include "bool/dec/dec.h"

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START
Rwr_Man_t * 		Rwr_ManStart (int fPrecompute)
 DECLARATIONS ///. More...
 
void Rwr_ManStop (Rwr_Man_t *p)
 
void Rwr_ManPrintStats (Rwr_Man_t *p)
 
void Rwr_ManPrintStatsFile (Rwr_Man_t *p)
 
void * Rwr_ManReadDecs (Rwr_Man_t *p)
 
Vec_Ptr_t * Rwr_ManReadLeaves (Rwr_Man_t *p)
 
int Rwr_ManReadCompl (Rwr_Man_t *p)
 
void Rwr_ManAddTimeCuts (Rwr_Man_t *p, abctime Time)
 
void Rwr_ManAddTimeUpdate (Rwr_Man_t *p, abctime Time)
 
void Rwr_ManAddTimeTotal (Rwr_Man_t *p, abctime Time)
 
void Rwr_Precompute ()
 

Function Documentation

void Rwr_ManAddTimeCuts ( Rwr_Man_t *  p,
abctime  Time 
)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 261 of file rwrMan.c.

262 {
263  p->timeCut += Time;
264 }
Rwr_Man_t_::timeCut
abctime timeCut
Definition: rwr.h:90
void Rwr_ManAddTimeTotal ( Rwr_Man_t *  p,
abctime  Time 
)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 293 of file rwrMan.c.

294 {
295  p->timeTotal += Time;
296 }
Rwr_Man_t_::timeTotal
abctime timeTotal
Definition: rwr.h:95
void Rwr_ManAddTimeUpdate ( Rwr_Man_t *  p,
abctime  Time 
)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 277 of file rwrMan.c.

278 {
279  p->timeUpdate += Time;
280 }
Rwr_Man_t_::timeUpdate
abctime timeUpdate
Definition: rwr.h:94
void Rwr_ManPrintStats ( Rwr_Man_t *  p)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 143 of file rwrMan.c.

144 {
145  int i, Counter = 0;
146  for ( i = 0; i < 222; i++ )
147  Counter += (p->nScores[i] > 0);
148 
149  printf( "Rewriting statistics:\n" );
150  printf( "Total cuts tries = %8d.\n", p->nCutsGood );
151  printf( "Bad cuts found = %8d.\n", p->nCutsBad );
152  printf( "Total subgraphs = %8d.\n", p->nSubgraphs );
153  printf( "Used NPN classes = %8d.\n", Counter );
154  printf( "Nodes considered = %8d.\n", p->nNodesConsidered );
155  printf( "Nodes rewritten = %8d.\n", p->nNodesRewritten );
156  printf( "Gain = %8d. (%6.2f %%).\n", p->nNodesBeg-p->nNodesEnd, 100.0*(p->nNodesBeg-p->nNodesEnd)/p->nNodesBeg );
157  ABC_PRT( "Start ", p->timeStart );
158  ABC_PRT( "Cuts ", p->timeCut );
159  ABC_PRT( "Resynthesis ", p->timeRes );
160  ABC_PRT( " Mffc ", p->timeMffc );
161  ABC_PRT( " Eval ", p->timeEval );
162  ABC_PRT( "Update ", p->timeUpdate );
163  ABC_PRT( "TOTAL ", p->timeTotal );
164 
165 /*
166  printf( "The scores are:\n" );
167  for ( i = 0; i < 222; i++ )
168  if ( p->nScores[i] > 0 )
169  {
170  extern void Ivy_TruthDsdComputePrint( unsigned uTruth );
171  printf( "%3d = %8d canon = %5d ", i, p->nScores[i], p->pMapInv[i] );
172  Ivy_TruthDsdComputePrint( (unsigned)p->pMapInv[i] | ((unsigned)p->pMapInv[i] << 16) );
173  }
174 */
175  printf( "\n" );
176 
177 }
Rwr_Man_t_::timeTotal
abctime timeTotal
Definition: rwr.h:95
Rwr_Man_t_::timeEval
abctime timeEval
Definition: rwr.h:92
Rwr_Man_t_::timeStart
abctime timeStart
Definition: rwr.h:89
Rwr_Man_t_::nNodesEnd
int nNodesEnd
Definition: rwr.h:83
Rwr_Man_t_::nNodesBeg
int nNodesBeg
Definition: rwr.h:82
Rwr_Man_t_::timeCut
abctime timeCut
Definition: rwr.h:90
Counter
static int Counter
Definition: extraBddMisc.c:1877
Rwr_Man_t_::nSubgraphs
int nSubgraphs
Definition: rwr.h:87
Rwr_Man_t_::nCutsGood
int nCutsGood
Definition: rwr.h:85
ABC_PRT
#define ABC_PRT(a, t)
Definition: abc_global.h:220
Rwr_Man_t_::nCutsBad
int nCutsBad
Definition: rwr.h:86
Rwr_Man_t_::nNodesRewritten
int nNodesRewritten
Definition: rwr.h:80
Rwr_Man_t_::nNodesConsidered
int nNodesConsidered
Definition: rwr.h:79
Rwr_Man_t_::timeMffc
abctime timeMffc
Definition: rwr.h:93
Rwr_Man_t_::timeUpdate
abctime timeUpdate
Definition: rwr.h:94
Rwr_Man_t_::timeRes
abctime timeRes
Definition: rwr.h:91
Rwr_Man_t_::nScores
int nScores[222]
Definition: rwr.h:84
void Rwr_ManPrintStatsFile ( Rwr_Man_t *  p)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 190 of file rwrMan.c.

191 {
192  FILE * pTable;
193  pTable = fopen( "stats.txt", "a+" );
194  fprintf( pTable, "%d ", p->nCutsGood );
195  fprintf( pTable, "%d ", p->nSubgraphs );
196  fprintf( pTable, "%d ", p->nNodesRewritten );
197  fprintf( pTable, "%d", p->nNodesGained );
198  fprintf( pTable, "\n" );
199  fclose( pTable );
200 }
Rwr_Man_t_::nNodesGained
int nNodesGained
Definition: rwr.h:81
Rwr_Man_t_::nSubgraphs
int nSubgraphs
Definition: rwr.h:87
Rwr_Man_t_::nCutsGood
int nCutsGood
Definition: rwr.h:85
Rwr_Man_t_::nNodesRewritten
int nNodesRewritten
Definition: rwr.h:80
int Rwr_ManReadCompl ( Rwr_Man_t *  p)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 245 of file rwrMan.c.

246 {
247  return p->fCompl;
248 }
Rwr_Man_t_::fCompl
int fCompl
Definition: rwr.h:72
void* Rwr_ManReadDecs ( Rwr_Man_t *  p)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 213 of file rwrMan.c.

214 {
215  return p->pGraph;
216 }
Rwr_Man_t_::pGraph
void * pGraph
Definition: rwr.h:73
Vec_Ptr_t* Rwr_ManReadLeaves ( Rwr_Man_t *  p)

Function*************************************************************

Synopsis [Stops the resynthesis manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 229 of file rwrMan.c.

230 {
231  return p->vFanins;
232 }
Rwr_Man_t_::vFanins
Vec_Ptr_t * vFanins
Definition: rwr.h:74
ABC_NAMESPACE_IMPL_START Rwr_Man_t* Rwr_ManStart ( int  fPrecompute)

DECLARATIONS ///.

CFile****************************************************************

FileName [rwrMan.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [DAG-aware AIG rewriting package.]

Synopsis [Rewriting manager.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:
rwrMan.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis [Starts rewriting manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 47 of file rwrMan.c.

48 {
49  Dec_Man_t * pManDec;
50  Rwr_Man_t * p;
51  abctime clk = Abc_Clock();
52 clk = Abc_Clock();
53  p = ABC_ALLOC( Rwr_Man_t, 1 );
54  memset( p, 0, sizeof(Rwr_Man_t) );
55  p->nFuncs = (1<<16);
56  pManDec = (Dec_Man_t *)Abc_FrameReadManDec();
57  p->puCanons = pManDec->puCanons;
58  p->pPhases = pManDec->pPhases;
59  p->pPerms = pManDec->pPerms;
60  p->pMap = pManDec->pMap;
61  // initialize practical NPN classes
62  p->pPractical = Rwr_ManGetPractical( p );
63  // create the table
64  p->pTable = ABC_ALLOC( Rwr_Node_t *, p->nFuncs );
65  memset( p->pTable, 0, sizeof(Rwr_Node_t *) * p->nFuncs );
66  // create the elementary nodes
67  p->pMmNode = Extra_MmFixedStart( sizeof(Rwr_Node_t) );
68  p->vForest = Vec_PtrAlloc( 100 );
69  Rwr_ManAddVar( p, 0x0000, fPrecompute ); // constant 0
70  Rwr_ManAddVar( p, 0xAAAA, fPrecompute ); // var A
71  Rwr_ManAddVar( p, 0xCCCC, fPrecompute ); // var B
72  Rwr_ManAddVar( p, 0xF0F0, fPrecompute ); // var C
73  Rwr_ManAddVar( p, 0xFF00, fPrecompute ); // var D
74  p->nClasses = 5;
75  // other stuff
76  p->nTravIds = 1;
77  p->pPerms4 = Extra_Permutations( 4 );
78  p->vLevNums = Vec_IntAlloc( 50 );
79  p->vFanins = Vec_PtrAlloc( 50 );
80  p->vFaninsCur = Vec_PtrAlloc( 50 );
81  p->vNodesTemp = Vec_PtrAlloc( 50 );
82  if ( fPrecompute )
83  { // precompute subgraphs
84  Rwr_ManPrecompute( p );
85 // Rwr_ManPrint( p );
86  Rwr_ManWriteToArray( p );
87  }
88  else
89  { // load saved subgraphs
90  Rwr_ManLoadFromArray( p, 0 );
91 // Rwr_ManPrint( p );
92  Rwr_ManPreprocess( p );
93  }
94 p->timeStart = Abc_Clock() - clk;
95  return p;
96 }
memset
char * memset()
Rwr_ManGetPractical
char * Rwr_ManGetPractical(Rwr_Man_t *p)
Definition: rwrUtil.c:640
Rwr_Man_t_::timeStart
abctime timeStart
Definition: rwr.h:89
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Rwr_ManAddVar
Rwr_Node_t * Rwr_ManAddVar(Rwr_Man_t *p, unsigned uTruth, int fPrecompute)
Definition: rwrLib.c:253
Rwr_ManPrecompute
void Rwr_ManPrecompute(Rwr_Man_t *p)
FUNCTION DEFINITIONS ///.
Definition: rwrLib.c:48
Rwr_Man_t_::pMap
unsigned char * pMap
Definition: rwr.h:57
Rwr_Man_t_
Definition: rwr.h:50
Rwr_ManWriteToArray
void Rwr_ManWriteToArray(Rwr_Man_t *p)
FUNCTION DEFINITIONS ///.
Definition: rwrUtil.c:426
Rwr_Man_t_::puCanons
unsigned short * puCanons
Definition: rwr.h:54
Rwr_ManPreprocess
void Rwr_ManPreprocess(Rwr_Man_t *p)
MACRO DEFINITIONS ///.
Definition: rwrDec.c:49
Rwr_Man_t_::pPerms4
char ** pPerms4
Definition: rwr.h:60
ABC_ALLOC
#define ABC_ALLOC(type, num)
Definition: abc_global.h:229
Dec_Man_t_::pPhases
char * pPhases
Definition: dec.h:87
Rwr_Man_t_::vNodesTemp
Vec_Ptr_t * vNodesTemp
Definition: rwr.h:77
Rwr_Man_t_::vLevNums
Vec_Int_t * vLevNums
Definition: rwr.h:76
Dec_Man_t_::pMap
unsigned char * pMap
Definition: dec.h:89
Abc_Clock
static abctime Abc_Clock()
Definition: abc_global.h:279
Rwr_Man_t_::pMmNode
Extra_MmFixed_t * pMmNode
Definition: rwr.h:65
Rwr_Man_t_::nTravIds
int nTravIds
Definition: rwr.h:67
Abc_FrameReadManDec
ABC_DLL void * Abc_FrameReadManDec()
Definition: mainFrame.c:61
Extra_Permutations
char ** Extra_Permutations(int n)
Definition: extraUtilMisc.c:238
Vec_IntAlloc
static Vec_Int_t * Vec_IntAlloc(int nCap)
FUNCTION DEFINITIONS ///.
Definition: bblif.c:149
Rwr_Man_t_::vFanins
Vec_Ptr_t * vFanins
Definition: rwr.h:74
Extra_MmFixedStart
Extra_MmFixed_t * Extra_MmFixedStart(int nEntrySize)
Definition: extraUtilMemory.c:122
Rwr_Man_t_::vFaninsCur
Vec_Ptr_t * vFaninsCur
Definition: rwr.h:75
Dec_Man_t_::puCanons
unsigned short * puCanons
Definition: dec.h:86
Rwr_Man_t_::pPhases
char * pPhases
Definition: rwr.h:55
Rwr_Node_t_
Definition: rwr.h:98
Vec_PtrAlloc
static Vec_Ptr_t * Vec_PtrAlloc(int nCap)
FUNCTION DEFINITIONS ///.
Definition: vecPtr.h:83
Rwr_Man_t_::nClasses
int nClasses
Definition: rwr.h:70
Rwr_Man_t_::pTable
Rwr_Node_t ** pTable
Definition: rwr.h:63
Rwr_ManLoadFromArray
void Rwr_ManLoadFromArray(Rwr_Man_t *p, int fVerbose)
Definition: rwrUtil.c:472
Rwr_Man_t_::pPractical
char * pPractical
Definition: rwr.h:59
Dec_Man_t_
Definition: dec.h:80
abctime
ABC_INT64_T abctime
Definition: abc_global.h:278
Dec_Man_t_::pPerms
char * pPerms
Definition: dec.h:88
Rwr_Man_t_::vForest
Vec_Ptr_t * vForest
Definition: rwr.h:62
Rwr_Man_t_::nFuncs
int nFuncs
Definition: rwr.h:53
Rwr_Man_t_::pPerms
char * pPerms
Definition: rwr.h:56
void Rwr_ManStop ( Rwr_Man_t *  p)

Function*************************************************************

Synopsis [Stops rewriting manager.]

Description []

SideEffects []

SeeAlso []

Definition at line 109 of file rwrMan.c.

110 {
111  if ( p->vClasses )
112  {
113  Rwr_Node_t * pNode;
114  int i, k;
115  Vec_VecForEachEntry( Rwr_Node_t *, p->vClasses, pNode, i, k )
116  Dec_GraphFree( (Dec_Graph_t *)pNode->pNext );
117  }
118  if ( p->vClasses ) Vec_VecFree( p->vClasses );
119  Vec_PtrFree( p->vNodesTemp );
120  Vec_PtrFree( p->vForest );
121  Vec_IntFree( p->vLevNums );
122  Vec_PtrFree( p->vFanins );
123  Vec_PtrFree( p->vFaninsCur );
124  Extra_MmFixedStop( p->pMmNode );
125  ABC_FREE( p->pMapInv );
126  ABC_FREE( p->pTable );
127  ABC_FREE( p->pPractical );
128  ABC_FREE( p->pPerms4 );
129  ABC_FREE( p );
130 }
Vec_VecForEachEntry
#define Vec_VecForEachEntry(Type, vGlob, pEntry, i, k)
Definition: vecVec.h:87
Extra_MmFixedStop
void Extra_MmFixedStop(Extra_MmFixed_t *p)
Definition: extraUtilMemory.c:180
Vec_VecFree
static void Vec_VecFree(Vec_Vec_t *p)
Definition: vecVec.h:347
Rwr_Man_t_::vClasses
Vec_Vec_t * vClasses
Definition: rwr.h:64
Dec_Graph_t_
Definition: dec.h:69
if
if(last==0)
Definition: sparse_int.h:34
Rwr_Node_t_
Definition: rwr.h:98
ABC_FREE
#define ABC_FREE(obj)
Definition: abc_global.h:232
Dec_GraphFree
static void Dec_GraphFree(Dec_Graph_t *pGraph)
Definition: dec.h:307
Vec_IntFree
static void Vec_IntFree(Vec_Int_t *p)
Definition: bblif.c:235
Vec_PtrFree
static void Vec_PtrFree(Vec_Ptr_t *p)
Definition: vecPtr.h:223
void Rwr_Precompute ( )

Function*************************************************************

Synopsis [Precomputes AIG subgraphs.]

Description []

SideEffects []

SeeAlso []

Definition at line 310 of file rwrMan.c.

311 {
312  Rwr_Man_t * p;
313  p = Rwr_ManStart( 1 );
314  Rwr_ManStop( p );
315 }
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Rwr_Man_t_
Definition: rwr.h:50
Rwr_ManStop
void Rwr_ManStop(Rwr_Man_t *p)
Definition: rwrMan.c:109
Rwr_ManStart
ABC_NAMESPACE_IMPL_START Rwr_Man_t * Rwr_ManStart(int fPrecompute)
DECLARATIONS ///.
Definition: rwrMan.c:47