abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Functions
ivyResyn.c File Reference
#include "ivy.h"

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START
Ivy_Man_t * 		Ivy_ManResyn0 (Ivy_Man_t *pMan, int fUpdateLevel, int fVerbose)
 DECLARATIONS ///. More...
 
Ivy_Man_t * Ivy_ManResyn (Ivy_Man_t *pMan, int fUpdateLevel, int fVerbose)
 
Ivy_Man_t * Ivy_ManRwsat (Ivy_Man_t *pMan, int fVerbose)
 

Function Documentation

Ivy_Man_t* Ivy_ManResyn ( Ivy_Man_t *  pMan,
int  fUpdateLevel,
int  fVerbose 
)

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

Synopsis [Performs several passes of rewriting on the AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 86 of file ivyResyn.c.

87 {
88  abctime clk;
89  Ivy_Man_t * pTemp;
90 
91 if ( fVerbose ) { printf( "Original:\n" ); }
92 if ( fVerbose ) Ivy_ManPrintStats( pMan );
93 
94 clk = Abc_Clock();
95  pMan = Ivy_ManBalance( pMan, fUpdateLevel );
96 if ( fVerbose ) { printf( "\n" ); }
97 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
98 if ( fVerbose ) Ivy_ManPrintStats( pMan );
99 
100 // Ivy_ManRewriteAlg( pMan, fUpdateLevel, 0 );
101 clk = Abc_Clock();
102  Ivy_ManRewritePre( pMan, fUpdateLevel, 0, 0 );
103 if ( fVerbose ) { printf( "\n" ); }
104 if ( fVerbose ) { ABC_PRT( "Rewrite", Abc_Clock() - clk ); }
105 if ( fVerbose ) Ivy_ManPrintStats( pMan );
106 
107 clk = Abc_Clock();
108  pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
109  Ivy_ManStop( pTemp );
110 if ( fVerbose ) { printf( "\n" ); }
111 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
112 if ( fVerbose ) Ivy_ManPrintStats( pMan );
113 
114 // Ivy_ManRewriteAlg( pMan, fUpdateLevel, 1 );
115 clk = Abc_Clock();
116  Ivy_ManRewritePre( pMan, fUpdateLevel, 1, 0 );
117 if ( fVerbose ) { printf( "\n" ); }
118 if ( fVerbose ) { ABC_PRT( "Rewrite", Abc_Clock() - clk ); }
119 if ( fVerbose ) Ivy_ManPrintStats( pMan );
120 
121 clk = Abc_Clock();
122  pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
123  Ivy_ManStop( pTemp );
124 if ( fVerbose ) { printf( "\n" ); }
125 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
126 if ( fVerbose ) Ivy_ManPrintStats( pMan );
127 
128 // Ivy_ManRewriteAlg( pMan, fUpdateLevel, 1 );
129 clk = Abc_Clock();
130  Ivy_ManRewritePre( pMan, fUpdateLevel, 1, 0 );
131 if ( fVerbose ) { printf( "\n" ); }
132 if ( fVerbose ) { ABC_PRT( "Rewrite", Abc_Clock() - clk ); }
133 if ( fVerbose ) Ivy_ManPrintStats( pMan );
134 
135 clk = Abc_Clock();
136  pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
137  Ivy_ManStop( pTemp );
138 if ( fVerbose ) { printf( "\n" ); }
139 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
140 if ( fVerbose ) Ivy_ManPrintStats( pMan );
141  return pMan;
142 }
Abc_Clock
static abctime Abc_Clock()
Definition: abc_global.h:279
Ivy_ManStop
void Ivy_ManStop(Ivy_Man_t *p)
Definition: ivyMan.c:238
Ivy_ManPrintStats
void Ivy_ManPrintStats(Ivy_Man_t *p)
Definition: ivyMan.c:456
Ivy_Man_t
typedefABC_NAMESPACE_HEADER_START struct Ivy_Man_t_ Ivy_Man_t
INCLUDES ///.
Definition: ivy.h:46
ABC_PRT
#define ABC_PRT(a, t)
Definition: abc_global.h:220
Ivy_ManBalance
Ivy_Man_t * Ivy_ManBalance(Ivy_Man_t *p, int fUpdateLevel)
FUNCTION DECLARATIONS ///.
Definition: ivyBalance.c:51
Ivy_ManRewritePre
int Ivy_ManRewritePre(Ivy_Man_t *p, int fUpdateLevel, int fUseZeroCost, int fVerbose)
FUNCTION DEFINITIONS ///.
Definition: ivyRwr.c:55
abctime
ABC_INT64_T abctime
Definition: abc_global.h:278
ABC_NAMESPACE_IMPL_START Ivy_Man_t* Ivy_ManResyn0 ( Ivy_Man_t *  pMan,
int  fUpdateLevel,
int  fVerbose 
)

DECLARATIONS ///.

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

FileName [ivyResyn.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [And-Inverter Graph package.]

Synopsis [AIG rewriting script.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - May 11, 2006.]

Revision [

Id:
ivyResyn.c,v 1.00 2006/05/11 00:00:00 alanmi Exp

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

Synopsis [Performs several passes of rewriting on the AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file ivyResyn.c.

46 {
47  abctime clk;
48  Ivy_Man_t * pTemp;
49 
50 if ( fVerbose ) { printf( "Original:\n" ); }
51 if ( fVerbose ) Ivy_ManPrintStats( pMan );
52 
53 clk = Abc_Clock();
54  pMan = Ivy_ManBalance( pMan, fUpdateLevel );
55 if ( fVerbose ) { printf( "\n" ); }
56 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
57 if ( fVerbose ) Ivy_ManPrintStats( pMan );
58 
59 // Ivy_ManRewriteAlg( pMan, fUpdateLevel, 0 );
60 clk = Abc_Clock();
61  Ivy_ManRewritePre( pMan, fUpdateLevel, 0, 0 );
62 if ( fVerbose ) { printf( "\n" ); }
63 if ( fVerbose ) { ABC_PRT( "Rewrite", Abc_Clock() - clk ); }
64 if ( fVerbose ) Ivy_ManPrintStats( pMan );
65 
66 clk = Abc_Clock();
67  pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
68  Ivy_ManStop( pTemp );
69 if ( fVerbose ) { printf( "\n" ); }
70 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
71 if ( fVerbose ) Ivy_ManPrintStats( pMan );
72  return pMan;
73 }
Abc_Clock
static abctime Abc_Clock()
Definition: abc_global.h:279
Ivy_ManStop
void Ivy_ManStop(Ivy_Man_t *p)
Definition: ivyMan.c:238
Ivy_ManPrintStats
void Ivy_ManPrintStats(Ivy_Man_t *p)
Definition: ivyMan.c:456
Ivy_Man_t
typedefABC_NAMESPACE_HEADER_START struct Ivy_Man_t_ Ivy_Man_t
INCLUDES ///.
Definition: ivy.h:46
ABC_PRT
#define ABC_PRT(a, t)
Definition: abc_global.h:220
Ivy_ManBalance
Ivy_Man_t * Ivy_ManBalance(Ivy_Man_t *p, int fUpdateLevel)
FUNCTION DECLARATIONS ///.
Definition: ivyBalance.c:51
Ivy_ManRewritePre
int Ivy_ManRewritePre(Ivy_Man_t *p, int fUpdateLevel, int fUseZeroCost, int fVerbose)
FUNCTION DEFINITIONS ///.
Definition: ivyRwr.c:55
abctime
ABC_INT64_T abctime
Definition: abc_global.h:278
Ivy_Man_t* Ivy_ManRwsat ( Ivy_Man_t *  pMan,
int  fVerbose 
)

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

Synopsis [Performs several passes of rewriting on the AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 155 of file ivyResyn.c.

156 {
157  abctime clk;
158  Ivy_Man_t * pTemp;
159 
160 if ( fVerbose ) { printf( "Original:\n" ); }
161 if ( fVerbose ) Ivy_ManPrintStats( pMan );
162 
163 clk = Abc_Clock();
164  Ivy_ManRewritePre( pMan, 0, 0, 0 );
165 if ( fVerbose ) { printf( "\n" ); }
166 if ( fVerbose ) { ABC_PRT( "Rewrite", Abc_Clock() - clk ); }
167 if ( fVerbose ) Ivy_ManPrintStats( pMan );
168 
169 clk = Abc_Clock();
170  pMan = Ivy_ManBalance( pTemp = pMan, 0 );
171 // pMan = Ivy_ManDup( pTemp = pMan );
172  Ivy_ManStop( pTemp );
173 if ( fVerbose ) { printf( "\n" ); }
174 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
175 if ( fVerbose ) Ivy_ManPrintStats( pMan );
176 
177 /*
178 clk = Abc_Clock();
179  Ivy_ManRewritePre( pMan, 0, 0, 0 );
180 if ( fVerbose ) { printf( "\n" ); }
181 if ( fVerbose ) { ABC_PRT( "Rewrite", Abc_Clock() - clk ); }
182 if ( fVerbose ) Ivy_ManPrintStats( pMan );
183 
184 clk = Abc_Clock();
185  pMan = Ivy_ManBalance( pTemp = pMan, 0 );
186  Ivy_ManStop( pTemp );
187 if ( fVerbose ) { printf( "\n" ); }
188 if ( fVerbose ) { ABC_PRT( "Balance", Abc_Clock() - clk ); }
189 if ( fVerbose ) Ivy_ManPrintStats( pMan );
190 */
191  return pMan;
192 }
Abc_Clock
static abctime Abc_Clock()
Definition: abc_global.h:279
Ivy_ManStop
void Ivy_ManStop(Ivy_Man_t *p)
Definition: ivyMan.c:238
Ivy_ManPrintStats
void Ivy_ManPrintStats(Ivy_Man_t *p)
Definition: ivyMan.c:456
Ivy_Man_t
typedefABC_NAMESPACE_HEADER_START struct Ivy_Man_t_ Ivy_Man_t
INCLUDES ///.
Definition: ivy.h:46
ABC_PRT
#define ABC_PRT(a, t)
Definition: abc_global.h:220
Ivy_ManBalance
Ivy_Man_t * Ivy_ManBalance(Ivy_Man_t *p, int fUpdateLevel)
FUNCTION DECLARATIONS ///.
Definition: ivyBalance.c:51
Ivy_ManRewritePre
int Ivy_ManRewritePre(Ivy_Man_t *p, int fUpdateLevel, int fUseZeroCost, int fVerbose)
FUNCTION DEFINITIONS ///.
Definition: ivyRwr.c:55
abctime
ABC_INT64_T abctime
Definition: abc_global.h:278