| Description of the function to be implemented |
| -k n |
The number of circuit inputs. n < 31 [default: 4].
Is is overriden by the -pla option. |
| -n n |
The number of nodes. Forces implementation consisted of exactly n nodes. Does not return any solution, if such implementation does not exist [default: find minimum]. |
| -f n |
Implement function #n. n < 2k. n is a decimal description of a truth table. [default: 1 (which is NOR)].
Is is overriden by the -pla option.
|
| -fh n |
Implement function #n (in hexadecimal). n < 2k. n is a hexadecimal description of a truth table. [default: 1 (which is NOR)].
Is is overriden by the -pla option.
|
| -truth fn |
Read/write truth table in ABC format. If -f specified, it is written, read otherwise.
Cannot be used together with -pla.
|
| -pla fn |
Implement function given by a PLA file fn. All PLA types are supported.
If specified, overrides -n, -f, and -fh options.
|
| Description of node functions and graph properties. |
| -nodefuncts s |
Node functions in a hex string. One hexadecimal digit represents one function, as a truth table. The order of digits is insignificant here, but the same order is used in the -gatecosts parameter. Properties (symmetry, negation symmetry) of the functions are recognized automatically [default: "8" (AND only)].
|
| -gatecosts s |
Costs of node functions in a string of decimal digits, ordered as the -nodefuncts argument. [default: "1"].
|
| -noinv |
Toggle allowing inverted edges [default: true (use inverters)].
|
| -noconst |
Toggle allowing constants [default: true (constants can be used)].
|
| -polyedges |
Toggle allowing polymorphic edges [default: false (do not use polymorphic edges)].
|
| Functions generation |
| -best |
Generate only delay-optimum solution(s).
|
| -enum |
Generate all solutions.
When used together with the -best option, generates all delay-optimum solutions.
|
| -difftopology |
Enumerate all optimum solutions with different topology. Must be used with -enum.
|
| -continue |
Save intermediate constraints periodically. Continue from these constraints, when interrupted.
To be used with -enum. Incompleteness indicated by a presence of 'constr.cnf' file.
|
| Output |
| -save_dot fn |
Saves the resulting DOT file to file fn.
|
| -save_blif fn |
Saves the resulting BLIF file to file fn.
|
| -save_aag fn |
Saves the resulting AAG file to file fn. Supported formats (recognized automatically): AAG, XAAG, PAAG, PXAAG.
|
| Statistics and other |
| -stats |
Prints statistics of the result to stderr.
|
| -enumstats |
Prints statistics of the result to stderr during enumeration.
|
| -v |
Print version
|