rmmixed-cmd

Synopsis

java -jar rmmixed-cmd.jar ?-lib file_name? ?-in file_name? ?-out file_name? ?other_options?

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.

Examples

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.