diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-09 15:18:12 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-09 15:18:12 -0800 |
| commit | 36585eff57d16171bb4a53fdc6348613d44eabe6 (patch) | |
| tree | 4c0368dc4b7022f5aa80282d3301b784465adbdb /src/base/wln/wln.h | |
| parent | fe03f0423de9718b122d6200042ecb553520fb0f (diff) | |
| download | abc-36585eff57d16171bb4a53fdc6348613d44eabe6.tar.gz abc-36585eff57d16171bb4a53fdc6348613d44eabe6.tar.bz2 abc-36585eff57d16171bb4a53fdc6348613d44eabe6.zip | |
Experiments with retiming (adding new APIs).
Diffstat (limited to 'src/base/wln/wln.h')
| -rw-r--r-- | src/base/wln/wln.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/wln/wln.h b/src/base/wln/wln.h index c862b262..c4fbf997 100644 --- a/src/base/wln/wln.h +++ b/src/base/wln/wln.h @@ -244,7 +244,8 @@ extern int Wln_ObjClone( Wln_Ntk_t * pNew, Wln_Ntk_t * p, int iObj ); extern int Wln_ObjCreateCo( Wln_Ntk_t * p, int iFanin ); extern void Wln_ObjPrint( Wln_Ntk_t * p, int iObj ); /*=== wlcRetime.c ========================================================*/ -extern Vec_Int_t * Wln_NtkRetime( Wln_Ntk_t * p ); +extern Vec_Int_t * Wln_NtkRetime( Wln_Ntk_t * p, int fVerbose ); +extern void Wln_NtkRetimeCreateDelayInfo( Wln_Ntk_t * pNtk ); /*=== wlcWriteVer.c ========================================================*/ extern void Wln_WriteVer( Wln_Ntk_t * p, char * pFileName ); |