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 "vlib/gflib_dynamic.v" -in "serp1_q.in" -out "serp1.v" -rbq -name SerpSBox1 -oe
Reads GF library of dynamic logic components and a quaternary specification of the Serpent S-box 1, computes binary-to-quaternary Reed-Muller expansion optimised by switching energy, and writes the circuit into a verilog file.
java -jar rmmixed-cmd.jar -lib "vlib/gflib_relaxed_generic.v" -in "aes_b.in" -out "aes.v" -rbb -name AES -ow -p0
Reads GF library of relaxed implementations using generic cells and a binary specification of the AES S-box, computes zero polarity binary Reed-Muller expansion optimised by the number of switching wires, and writes the circuit into a verilog file.