rm_synthesise - Synthesise Reed-Muller expansions.
rm_synthesise ?-polatity polarity? ?-out file_name?
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.
-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. |