diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-29 10:10:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-29 10:10:21 -0700 |
| commit | 4c6804c3aea08f6aec693c686ec409191e983ca4 (patch) | |
| tree | f0153e44ffd69a9e576084157a21929f3e512a53 /src/map/scl/sclSize.h | |
| parent | a206287b21632331eb6c433a8c1854a6baecbe40 (diff) | |
| download | abc-4c6804c3aea08f6aec693c686ec409191e983ca4.tar.gz abc-4c6804c3aea08f6aec693c686ec409191e983ca4.tar.bz2 abc-4c6804c3aea08f6aec693c686ec409191e983ca4.zip | |
Improved gate-sizing.
Diffstat (limited to 'src/map/scl/sclSize.h')
| -rw-r--r-- | src/map/scl/sclSize.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index ca3c2c06..0dad7ddb 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -375,6 +375,8 @@ static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, abctime Time /*=== sclBuff.c ===============================================================*/ extern int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ); extern Abc_Ntk_t * Abc_SclPerformBuffering( Abc_Ntk_t * p, int Degree, int fUseInvs, int fVerbose ); +/*=== sclBuffer.c ===============================================================*/ +extern Abc_Ntk_t * Abc_SclBufPerform( Abc_Ntk_t * pNtk, int fVerbose ); /*=== sclDnsize.c ===============================================================*/ extern void Abc_SclDnsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, SC_SizePars * pPars ); /*=== sclLoad.c ===============================================================*/ |