diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 11:12:36 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 11:12:36 -0700 |
commit | 4a50b09c6719fe548f584aa5a22637ab7ddf8a6a (patch) | |
tree | 14a3f05f53b07f6716365b491be8f71c302ad844 /src/base/abci | |
parent | aaa8121ede988421feb7fc743d24f2bd13211bd2 (diff) | |
download | abc-4a50b09c6719fe548f584aa5a22637ab7ddf8a6a.tar.gz abc-4a50b09c6719fe548f584aa5a22637ab7ddf8a6a.tar.bz2 abc-4a50b09c6719fe548f584aa5a22637ab7ddf8a6a.zip |
New technology mapper.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 53f5483a..b2aeac46 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -29589,7 +29589,7 @@ usage: sprintf(Buffer, "%d", pPars->DelayTarget ); Abc_Print( -2, "usage: &if2 [-KD num] [-mzvh]\n" ); Abc_Print( -2, "\t performs technology mapping of the network\n" ); - Abc_Print( -2, "\t-K num : sets the LUT size for the mapping [default = %s]\n", nLutSize ); + Abc_Print( -2, "\t-K num : sets the LUT size for the mapping [default = %d]\n", nLutSize ); Abc_Print( -2, "\t-D num : sets the delay constraint for the mapping [default = %s]\n", Buffer ); Abc_Print( -2, "\t-m : enables cut minimization by removing vacuous variables [default = %s]\n", pPars->fCutMin? "yes": "no" ); Abc_Print( -2, "\t-z : toggles deriving LUTs when mapping into LUT structures [default = %s]\n", pPars->fDeriveLuts? "yes": "no" ); |