diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-24 18:53:18 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-24 18:53:18 -0700 |
commit | 45bf6324528bbaf60f8239da1ecac9cfa4e07c00 (patch) | |
tree | cbc0c6034d8667c0b8b966a225e8c286434217e4 /src/opt/sfm/sfmInt.h | |
parent | a43d8273b708c3e0dedc045dfa2b58ccea5978f5 (diff) | |
download | abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.tar.gz abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.tar.bz2 abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.zip |
Changes for delay-oriented computation.
Diffstat (limited to 'src/opt/sfm/sfmInt.h')
-rw-r--r-- | src/opt/sfm/sfmInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmInt.h b/src/opt/sfm/sfmInt.h index 1b84a6fb..e5f73e38 100644 --- a/src/opt/sfm/sfmInt.h +++ b/src/opt/sfm/sfmInt.h @@ -212,7 +212,7 @@ extern void Sfm_NtkUpdate( Sfm_Ntk_t * p, int iNode, int f, int iFaninNe extern int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p ); extern word Sfm_ComputeInterpolant( Sfm_Ntk_t * p ); /*=== sfmTime.c ==========================================================*/ -extern Sfm_Tim_t * Sfm_TimStart( Mio_Library_t * pLib, Scl_Con_t * pExt, Abc_Ntk_t * pNtk ); +extern Sfm_Tim_t * Sfm_TimStart( Mio_Library_t * pLib, Scl_Con_t * pExt, Abc_Ntk_t * pNtk, int DeltaCrit ); extern void Sfm_TimStop( Sfm_Tim_t * p ); extern int Sfm_TimReadNtkDelay( Sfm_Tim_t * p ); extern int Sfm_TimReadObjDelay( Sfm_Tim_t * p, int iObj ); |