Requires rmmixed-cmd.jar.
The tool requires Java SE 6 runtime environment.
java -jar rmmixed-cmd.jar ?-lib file_name? ?-in file_name? ?-out file_name? ?other_options?
| -in file_name | Read truth vectors from the specified file. By default, reads from stdin. |
| -out file_name | Write output to the specified file. By default, writes to stdout. |
| -lib file_name | Read GF component library. |
| -radix-binary or -rbb | Synthesise uniform radix binary expansions. |
| -radix-ternary or -rtt | Synthesise uniform radix ternary expansions. |
| -radix-quaternary or -rqq | Synthesise uniform radix quaternary expansions. |
| -radix-binary-to-ternary or -rbt | Synthesise using 2→3 radix model. |
| -radix-binary-quaternary or -rbq | Synthesise using 2→4 radix model. |
| -radix-quaternary-to-binary or -rqb | Synthesise using 4→2 radix model. |
| -polarity k or -p k | Do not search for the best polarity, synthesise using the specified k. |
| -zero-polarity or -p0 | Do not search for the best polarity, synthesise using k = 0. |
| -optimise-switches or -ow | Optimise the circuit using the number of switching wires as a search criterion. |
| -optimise-energy or -oe | Optimise the circuit using the estimated switching energy as a search criterion. |
| -optimise-area or -oa | Optimise the circuit using the total area of gates as a search criterion. |
| -optimise-timing or -ot | Optimise the circuit using the length of the longest path (maximum delay) as a search criterion. |
| -name module_name | Assign a module name to the output circuit. |
| -interface-binary or -ib | Frame the mixed radix circuit with the signal conversion logic, if necessary, in order to make all ports binary. |
| -interface-ternary or -it | Frame the mixed radix circuit with the signal conversion logic, if necessary, in order to make all ports ternary. |
| -interface-quaternary or -iq | Frame the mixed radix circuit with the signal conversion logic, if necessary, in order to make all ports quaternary. |
java -jar rmmixed-cmd.jar -lib "examples/lib/gflib_relaxed_generic.v" -in "examples/in/serp1_b.in" -out "examples/out/serp1_b.v" -rbb -name SerpSBox1 -ow
Generates a binary Serpent SBox1 from the provided set of input vectors (examples/in/serp1_b.in) using a generic library (examples/lib/gflib_relaxed_generic.v), optimises it for switching activity, and saves the output to examples/out/serp1_b.v.
java -jar rmmixed-cmd.jar -lib "examples/lib/gflib_relaxed_generic.v" -in "examples/in/serp1_q.in" -out "examples/out/serp1_q.v" -rqq -name SerpSBox1 -ow
Generates a quaternary Serpent SBox1 from the provided set of input vectors (examples/in/serp1_q.in) using a generic library (examples/lib/gflib_relaxed_generic.v), optimises it for switching activity, and saves the output to examples/out/serp1_q.v.
java -jar rmmixed-cmd.jar -lib "examples/lib/gflib_relaxed_generic.v" -in "examples/in/aes_q.in" -out "examples/out/aes_bq.v" -rbq -name AES -oe -p0
Generates a binary-to-quaternary mixed radix AES SBox from the provided set of input vectors (examples/in/aes_q.in) using a generic library (examples/lib/gflib_relaxed_generic.v), optimises it for switching energy, and saves the output to examples/out/aes_bq.v. Polarity is set to 0.