diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-29 16:44:16 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-29 16:44:16 -0800 |
commit | b90f1c73ae22bd44965dd48eb5f42fed98278e2b (patch) | |
tree | c32e418b7ac0b3e1881210fad6816866c18c66dc /src/map/super/superInt.h | |
parent | b30791ba622cd9b4f5eed1caf8a9567f2b3ad3a4 (diff) | |
download | abc-b90f1c73ae22bd44965dd48eb5f42fed98278e2b.tar.gz abc-b90f1c73ae22bd44965dd48eb5f42fed98278e2b.tar.bz2 abc-b90f1c73ae22bd44965dd48eb5f42fed98278e2b.zip |
Adding switch -N to 'super' to set an upper bound on the number of supergates generated.
Diffstat (limited to 'src/map/super/superInt.h')
-rw-r--r-- | src/map/super/superInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/super/superInt.h b/src/map/super/superInt.h index 63df0f38..5df87fac 100644 --- a/src/map/super/superInt.h +++ b/src/map/super/superInt.h @@ -57,7 +57,7 @@ ABC_NAMESPACE_HEADER_START /*=== superAnd.c =============================================================*/ extern void Super2_Precompute( int nInputs, int nLevels, int fVerbose ); /*=== superGate.c =============================================================*/ -extern void Super_Precompute( Mio_Library_t * pLibGen, int nInputs, int nLevels, float tDelayMax, float tAreaMax, int TimeLimit, int fSkipInv, int fWriteOldFormat, int fVerbose ); +extern void Super_Precompute( Mio_Library_t * pLibGen, int nInputs, int nLevels, int nGatesMax, float tDelayMax, float tAreaMax, int TimeLimit, int fSkipInv, int fWriteOldFormat, int fVerbose ); |