Reference index · List of Tcl commands

rm_synthesise

Name

rm_synthesise - Synthesise Reed-Muller expansions.

Synopsis

rm_synthesise ?-polatity polarity? ?-out file_name?

Description

rm_synthesise computes Reed-Muller expansion for the radix model previously set by rm_radix_model command, optimises it and maps it using the library loaded using spec_library command. The truth vectors can be specified using spec_add_vector command.

Options

-polarity polarity

Integer, optional. Polarity number. If not specified, the tool searches for the best one.

-out file_name

String, optional. Output file name. By default prints to console output.