simgraph_command::simgraph_command( const environment::ptr& env ) : aig_base_command( env, "Creates simulation graphs" ) { opts.add_options() ( "vectors", value_with_default( &vectors ), "Simulation vectors (comma separated):\nah: all-hot\n1h: one-hot\n2h: two-hot\nac: all-cold\n1c: one-cold\n2c: two-cold" ) ( "dotname", value( &dotname ), "If set, simulation file is written to DOT file" ) ( "signatures,s", value_with_default( &signatures ), "Maximum arity of simulation signatures" ) ( "patternname", value( &patternname ), "If filename is given, simulation vectors are written to this file" ) ; be_verbose(); }
rec_command::rec_command( const environment::ptr& env ) : cirkit_command( env, "Equivalence checking for reversible circuits", "[L.G. Amaru, P.-E. Gaillardon, R. Wille, and G. De Micheli, DATE 2016]" ) { opts.add_options() ( "id1", value_with_default( &id1 ), "ID of first circuit" ) ( "id2", value_with_default( &id2 ), "ID of second circuit" ) ( "name_mapping,n", "map circuits by name instead by index" ) ; be_verbose(); }
unique_names_command::unique_names_command( const environment::ptr& env ) : cirkit_command( env, "Ensure unique I/O names" ) { opts.add_options() ( "input_pattern", value_with_default( &input_pattern ), "pattern for input names" ) ( "output_pattern", value_with_default( &output_pattern ), "pattern for output names" ) ( "constant_pattern", value_with_default( &constant_pattern ), "pattern for constant names" ) ( "garbage_pattern", value_with_default( &garbage_pattern ), "pattern for garbage names" ) ; }
random_circuit_command::random_circuit_command( const environment::ptr& env ) : cirkit_command( env, "Creates a random reversible circuit" ) { opts.add_options() ( "lines", value_with_default( &lines ), "Number of lines" ) ( "gates", value_with_default( &gates ), "Number of gates" ) ( "negative,n", "Allow negative control lines" ) ( "insert_gate,g", "Doesn't create a circuit, but inserts random gate into current circuit" ) ( "seed", value( &seed ), "Random seed (if not given, current time is used)" ) ( "new", "Create a new store element" ) ; }
abc_command::abc_command( const environment::ptr& env ) : cirkit_command( env, "Runs abc shell with the current aig" ) { opts.add_options() ( "command,c", value_with_default( &commands ), "Process semicolon-separated list of commands" ) ( "empty,e", "Don't load current AIG into abc" ) ( "new,n", "Write abc's resulting AIG into a new AIG in the store" ) ; }
qbs_command::qbs_command( const environment::ptr& env ) : cirkit_command( env, "QMDD based synthesis" ) { be_verbose(); opts.add_options() ( "esop_minimizer", value_with_default( &esop_minimizer ), "ESOP minizer (0: built-in, 1: exorcism); only with symbolic approach" ) ( "new,n", "Creates new entry in store for circuit" ) ; }