diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-04 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-04 20:01:00 -0700 |
| commit | 0c4d314ef0460b94c3ccc4f8ddeedc8e49e35e96 (patch) | |
| tree | 386f5fc8af56d55a7532e2b9bd09b3c081a5bcac /src/aig/nwk/nwk.h | |
| parent | ef20b0c5336e28a3e09db9f0accfc072db1559cc (diff) | |
| download | abc-0c4d314ef0460b94c3ccc4f8ddeedc8e49e35e96.tar.gz abc-0c4d314ef0460b94c3ccc4f8ddeedc8e49e35e96.tar.bz2 abc-0c4d314ef0460b94c3ccc4f8ddeedc8e49e35e96.zip | |
Version abc80404_2
Diffstat (limited to 'src/aig/nwk/nwk.h')
| -rw-r--r-- | src/aig/nwk/nwk.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/nwk/nwk.h b/src/aig/nwk/nwk.h index 191ca3e5..eafc1bbf 100644 --- a/src/aig/nwk/nwk.h +++ b/src/aig/nwk/nwk.h @@ -231,8 +231,13 @@ extern Nwk_Obj_t * Nwk_ManCreateBox( Nwk_Man_t * pMan, int nFanins, int nFan extern Nwk_Obj_t * Nwk_ManCreateLatch( Nwk_Man_t * pMan ); extern void Nwk_ManDeleteNode( Nwk_Obj_t * pObj ); extern void Nwk_ManDeleteNode_rec( Nwk_Obj_t * pObj ); +/*=== nwkSpeedup.c ============================================================*/ +extern Aig_Man_t * Nwk_ManSpeedup( Nwk_Man_t * pNtk, int fUseLutLib, int Percentage, int Degree, int fVerbose, int fVeryVerbose ); +/*=== nwkStrash.c ============================================================*/ +extern Aig_Man_t * Nwk_ManStrash( Nwk_Man_t * pNtk ); /*=== nwkTiming.c ============================================================*/ extern int Nwk_ManVerifyTiming( Nwk_Man_t * pNtk ); +extern void Nwk_ManDelayTraceSortPins( Nwk_Obj_t * pNode, int * pPinPerm, float * pPinDelays ); extern float Nwk_ManDelayTraceLut( Nwk_Man_t * pNtk ); extern void Nwk_ManDelayTracePrint( Nwk_Man_t * pNtk ); extern void Nwk_ManUpdate( Nwk_Obj_t * pObj, Nwk_Obj_t * pObjNew, Vec_Vec_t * vLevels ); |