src/aig/ivy/ivyResyn.c File Reference

#include "ivy.h"

Include dependency graph for ivyResyn.c:

Functions
Ivy_Man_t *	Ivy_ManResyn0 (Ivy_Man_t *pMan, int fUpdateLevel, int fVerbose)
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 83 of file ivyResyn.c.

00084 {
00085     int clk;
00086     Ivy_Man_t * pTemp;
00087 
00088 if ( fVerbose ) { printf( "Original:\n" ); }
00089 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00090 
00091 clk = clock();
00092     pMan = Ivy_ManBalance( pMan, fUpdateLevel );
00093 if ( fVerbose ) { printf( "\n" ); }
00094 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00095 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00096 
00097 //    Ivy_ManRewriteAlg( pMan, fUpdateLevel, 0 );
00098 clk = clock();
00099     Ivy_ManRewritePre( pMan, fUpdateLevel, 0, 0 );
00100 if ( fVerbose ) { printf( "\n" ); }
00101 if ( fVerbose ) { PRT( "Rewrite", clock() - clk ); }
00102 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00103 
00104 clk = clock();
00105     pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
00106     Ivy_ManStop( pTemp );
00107 if ( fVerbose ) { printf( "\n" ); }
00108 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00109 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00110 
00111 //    Ivy_ManRewriteAlg( pMan, fUpdateLevel, 1 );
00112 clk = clock();
00113     Ivy_ManRewritePre( pMan, fUpdateLevel, 1, 0 );
00114 if ( fVerbose ) { printf( "\n" ); }
00115 if ( fVerbose ) { PRT( "Rewrite", clock() - clk ); }
00116 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00117 
00118 clk = clock();
00119     pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
00120     Ivy_ManStop( pTemp );
00121 if ( fVerbose ) { printf( "\n" ); }
00122 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00123 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00124 
00125 //    Ivy_ManRewriteAlg( pMan, fUpdateLevel, 1 );
00126 clk = clock();
00127     Ivy_ManRewritePre( pMan, fUpdateLevel, 1, 0 );
00128 if ( fVerbose ) { printf( "\n" ); }
00129 if ( fVerbose ) { PRT( "Rewrite", clock() - clk ); }
00130 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00131 
00132 clk = clock();
00133     pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
00134     Ivy_ManStop( pTemp );
00135 if ( fVerbose ) { printf( "\n" ); }
00136 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00137 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00138     return pMan;
00139 }

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

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

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 42 of file ivyResyn.c.

00043 {
00044     int clk;
00045     Ivy_Man_t * pTemp;
00046 
00047 if ( fVerbose ) { printf( "Original:\n" ); }
00048 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00049 
00050 clk = clock();
00051     pMan = Ivy_ManBalance( pMan, fUpdateLevel );
00052 if ( fVerbose ) { printf( "\n" ); }
00053 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00054 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00055 
00056 //    Ivy_ManRewriteAlg( pMan, fUpdateLevel, 0 );
00057 clk = clock();
00058     Ivy_ManRewritePre( pMan, fUpdateLevel, 0, 0 );
00059 if ( fVerbose ) { printf( "\n" ); }
00060 if ( fVerbose ) { PRT( "Rewrite", clock() - clk ); }
00061 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00062 
00063 clk = clock();
00064     pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel );
00065     Ivy_ManStop( pTemp );
00066 if ( fVerbose ) { printf( "\n" ); }
00067 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00068 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00069     return pMan;
00070 }

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 152 of file ivyResyn.c.

00153 {
00154     int clk;
00155     Ivy_Man_t * pTemp;
00156 
00157 if ( fVerbose ) { printf( "Original:\n" ); }
00158 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00159 
00160 clk = clock();
00161     Ivy_ManRewritePre( pMan, 0, 0, 0 );
00162 if ( fVerbose ) { printf( "\n" ); }
00163 if ( fVerbose ) { PRT( "Rewrite", clock() - clk ); }
00164 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00165 
00166 clk = clock();
00167     pMan = Ivy_ManBalance( pTemp = pMan, 0 );
00168 //    pMan = Ivy_ManDup( pTemp = pMan );
00169     Ivy_ManStop( pTemp );
00170 if ( fVerbose ) { printf( "\n" ); }
00171 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00172 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00173 
00174 /*
00175 clk = clock();
00176     Ivy_ManRewritePre( pMan, 0, 0, 0 );
00177 if ( fVerbose ) { printf( "\n" ); }
00178 if ( fVerbose ) { PRT( "Rewrite", clock() - clk ); }
00179 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00180 
00181 clk = clock();
00182     pMan = Ivy_ManBalance( pTemp = pMan, 0 );
00183     Ivy_ManStop( pTemp );
00184 if ( fVerbose ) { printf( "\n" ); }
00185 if ( fVerbose ) { PRT( "Balance", clock() - clk ); }
00186 if ( fVerbose ) Ivy_ManPrintStats( pMan );
00187 */
00188     return pMan;
00189 }

src/aig/ivy/ivyResyn.c File Reference

Functions

Function Documentation