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" )
;
}
