summaryrefslogtreecommitdiffstats
path: root/src/misc/tim/tim.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc/tim/tim.h')
-rw-r--r--src/misc/tim/tim.h63
1 files changed, 34 insertions, 29 deletions
diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h
index 9a7667d5..1eb1de78 100644
--- a/src/misc/tim/tim.h
+++ b/src/misc/tim/tim.h
@@ -4,7 +4,7 @@
SystemName [ABC: Logic synthesis and verification system.]
- PackageName [A timing manager.]
+ PackageName [Hierarchy/timing manager.]
Synopsis [External declarations.]
@@ -30,10 +30,7 @@
/// PARAMETERS ///
////////////////////////////////////////////////////////////////////////
-
-
ABC_NAMESPACE_HEADER_START
-
////////////////////////////////////////////////////////////////////////
/// BASIC TYPES ///
@@ -59,43 +56,51 @@ typedef struct Tim_Man_t_ Tim_Man_t;
/// FUNCTION DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
-/*=== time.c ===========================================================*/
+/*=== timBox.c ===========================================================*/
+extern void Tim_ManCreateBox( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int nOuts, int iDelayTable );
+extern int Tim_ManBoxForCi( Tim_Man_t * p, int iCo );
+extern int Tim_ManBoxForCo( Tim_Man_t * p, int iCi );
+extern int Tim_ManBoxInputFirst( Tim_Man_t * p, int iBox );
+extern int Tim_ManBoxOutputFirst( Tim_Man_t * p, int iBox );
+extern int Tim_ManBoxInputNum( Tim_Man_t * p, int iBox );
+extern int Tim_ManBoxOutputNum( Tim_Man_t * p, int iBox );
+extern float * Tim_ManBoxDelayTable( Tim_Man_t * p, int iBox );
+/*=== timDump.c ===========================================================*/
+extern Vec_Str_t * Tim_ManSave( Tim_Man_t * p );
+extern Tim_Man_t * Tim_ManLoad( Vec_Str_t * p );
+/*=== timMan.c ===========================================================*/
extern Tim_Man_t * Tim_ManStart( int nCis, int nCos );
-extern Tim_Man_t * Tim_ManDup( Tim_Man_t * p, int fDiscrete );
-extern Tim_Man_t * Tim_ManDupUnit( Tim_Man_t * p );
-extern Tim_Man_t * Tim_ManDupApprox( Tim_Man_t * p );
+extern Tim_Man_t * Tim_ManDup( Tim_Man_t * p, int fUnitDelay );
extern void Tim_ManStop( Tim_Man_t * p );
extern void Tim_ManStopP( Tim_Man_t ** p );
extern void Tim_ManPrint( Tim_Man_t * p );
+extern int Tim_ManCiNum( Tim_Man_t * p );
+extern int Tim_ManCoNum( Tim_Man_t * p );
+extern int Tim_ManPiNum( Tim_Man_t * p );
+extern int Tim_ManPoNum( Tim_Man_t * p );
+extern int Tim_ManBoxNum( Tim_Man_t * p );
+extern int Tim_ManDelayTableNum( Tim_Man_t * p );
+extern void Tim_ManSetDelayTables( Tim_Man_t * p, Vec_Ptr_t * vDelayTables );
extern void Tim_ManTravIdDisable( Tim_Man_t * p );
extern void Tim_ManTravIdEnable( Tim_Man_t * p );
+/*=== timTime.c ===========================================================*/
+extern void Tim_ManInitPiArrival( Tim_Man_t * p, int iPi, float Delay );
+extern void Tim_ManInitPoRequired( Tim_Man_t * p, int iPo, float Delay );
+extern void Tim_ManInitPiArrivalAll( Tim_Man_t * p, float Delay );
+extern void Tim_ManInitPoRequiredAll( Tim_Man_t * p, float Delay );
+extern void Tim_ManSetCoArrival( Tim_Man_t * p, int iCo, float Delay );
+extern void Tim_ManSetCiRequired( Tim_Man_t * p, int iCi, float Delay );
+extern void Tim_ManSetCoRequired( Tim_Man_t * p, int iCo, float Delay );
+extern float Tim_ManGetCiArrival( Tim_Man_t * p, int iCi );
+extern float Tim_ManGetCoRequired( Tim_Man_t * p, int iCo );
+/*=== timTrav.c ===========================================================*/
+extern void Tim_ManIncrementTravId( Tim_Man_t * p );
extern void Tim_ManSetCurrentTravIdBoxInputs( Tim_Man_t * p, int iBox );
extern void Tim_ManSetCurrentTravIdBoxOutputs( Tim_Man_t * p, int iBox );
extern void Tim_ManSetPreviousTravIdBoxInputs( Tim_Man_t * p, int iBox );
extern void Tim_ManSetPreviousTravIdBoxOutputs( Tim_Man_t * p, int iBox );
extern int Tim_ManIsCiTravIdCurrent( Tim_Man_t * p, int iCi );
extern int Tim_ManIsCoTravIdCurrent( Tim_Man_t * p, int iCo );
-extern void Tim_ManSetDelayTables( Tim_Man_t * p, Vec_Ptr_t * vDelayTables );
-extern void Tim_ManCreateBox( Tim_Man_t * p, int * pIns, int nIns, int * pOuts, int nOuts, float * pDelayTable );
-extern void Tim_ManCreateBoxFirst( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int nOuts, float * pDelayTable );
-extern void Tim_ManIncrementTravId( Tim_Man_t * p );
-extern void Tim_ManInitCiArrival( Tim_Man_t * p, int iCi, float Delay );
-extern void Tim_ManInitCoRequired( Tim_Man_t * p, int iCo, float Delay );
-extern void Tim_ManSetCoArrival( Tim_Man_t * p, int iCo, float Delay );
-extern void Tim_ManSetCiRequired( Tim_Man_t * p, int iCi, float Delay );
-extern void Tim_ManSetCoRequired( Tim_Man_t * p, int iCo, float Delay );
-extern void Tim_ManSetCiArrivalAll( Tim_Man_t * p, float Delay );
-extern void Tim_ManSetCoRequiredAll( Tim_Man_t * p, float Delay );
-extern float Tim_ManGetCiArrival( Tim_Man_t * p, int iCi );
-extern float Tim_ManGetCoRequired( Tim_Man_t * p, int iCo );
-extern int Tim_ManBoxForCi( Tim_Man_t * p, int iCo );
-extern int Tim_ManBoxForCo( Tim_Man_t * p, int iCi );
-extern int Tim_ManBoxInputFirst( Tim_Man_t * p, int iBox );
-extern int Tim_ManBoxOutputFirst( Tim_Man_t * p, int iBox );
-extern int Tim_ManBoxInputNum( Tim_Man_t * p, int iBox );
-extern int Tim_ManBoxOutputNum( Tim_Man_t * p, int iBox );
-extern void Tim_ManChangeForAdders( Tim_Man_t * p );
-
ABC_NAMESPACE_HEADER_END