diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-22 09:37:44 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-22 09:37:44 -0700 |
commit | 8f74276edbe2cf8d62485ab6bd08c68198a1f0e8 (patch) | |
tree | 1418f220748141519e92556fdff6d5d684903f75 /src/aig/gia/gia.h | |
parent | 81b040e61c80e7a2d977b5fcf6266ec3460e395c (diff) | |
download | abc-8f74276edbe2cf8d62485ab6bd08c68198a1f0e8.tar.gz abc-8f74276edbe2cf8d62485ab6bd08c68198a1f0e8.tar.bz2 abc-8f74276edbe2cf8d62485ab6bd08c68198a1f0e8.zip |
Initial changes to enable gate-level abstraction.
Diffstat (limited to 'src/aig/gia/gia.h')
-rw-r--r-- | src/aig/gia/gia.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 05c64853..2d677638 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -133,6 +133,7 @@ struct Gia_Man_t_ int * pCopies; // intermediate copies Vec_Int_t * vTruths; // used for truth table computation Vec_Int_t * vFlopClasses; // classes of flops for retiming/merging/etc + Vec_Int_t * vGateClasses; // classes of gates for abstraction unsigned char* pSwitching; // switching activity for each object Gia_Plc_t * pPlacement; // placement of the objects int * pTravIds; // separate traversal ID representation @@ -656,7 +657,8 @@ extern Gia_Man_t * Gia_ManMiter( Gia_Man_t * pAig0, Gia_Man_t * pAig1, i extern Gia_Man_t * Gia_ManTransformMiter( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManChoiceMiter( Vec_Ptr_t * vGias ); extern Gia_Man_t * Gia_ManDupWithConstraints( Gia_Man_t * p, Vec_Int_t * vPoTypes ); -extern Gia_Man_t * Gia_ManDupAbstraction( Gia_Man_t * p, Vec_Int_t * vFlopClasses ); +extern Gia_Man_t * Gia_ManDupAbsFlops( Gia_Man_t * p, Vec_Int_t * vFlopClasses ); +extern Gia_Man_t * Gia_ManDupAbsGates( Gia_Man_t * p, Vec_Int_t * vGateClasses ); /*=== giaEnable.c ==========================================================*/ extern void Gia_ManDetectSeqSignals( Gia_Man_t * p, int fSetReset, int fVerbose ); extern Gia_Man_t * Gia_ManUnrollAndCofactor( Gia_Man_t * p, int nFrames, int nFanMax, int fVerbose ); @@ -750,7 +752,7 @@ extern int Gia_MmStepReadMemUsage( Gia_MmStep_t * p ); /*=== giaPat.c ===========================================================*/ extern void Gia_SatVerifyPattern( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vCex, Vec_Int_t * vVisit ); /*=== giaReparam.c ===========================================================*/ -extern Gia_Man_t * Gia_ManReparm( Gia_Man_t * p, int fVerbose ); +extern Gia_Man_t * Gia_ManReparam( Gia_Man_t * p, int fVerbose ); /*=== giaRetime.c ===========================================================*/ extern Gia_Man_t * Gia_ManRetimeForward( Gia_Man_t * p, int nMaxIters, int fVerbose ); /*=== giaSat.c ============================================================*/ |