|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
Go to the source code of this file.
Enumerations | |
| enum | keys { KEY_ESPRESSO , KEY_PLA_verify , KEY_check , KEY_contain , KEY_d1merge , KEY_disjoint , KEY_dsharp , KEY_echo , KEY_essen , KEY_exact , KEY_expand , KEY_gasp , KEY_intersect , KEY_irred , KEY_lexsort , KEY_make_sparse , KEY_map , KEY_mapdc , KEY_minterms , KEY_opo , KEY_opoall , KEY_pair , KEY_pairall , KEY_primes , KEY_qm , KEY_reduce , KEY_sharp , KEY_simplify , KEY_so , KEY_so_both , KEY_stats , KEY_super_gasp , KEY_taut , KEY_test , KEY_equiv , KEY_union , KEY_verify , KEY_MANY_ESPRESSO , KEY_separate , KEY_xor , KEY_d1merge_in , KEY_fsm , KEY_unknown } |
Variables | ||
| struct { | ||
| char * name | ||
| enum keys key | ||
| int num_plas | ||
| bool needs_offset | ||
| bool needs_dcset | ||
| } | option_table [] | |
| struct { | ||
| char * name | ||
| int value | ||
| } | debug_table [] | |
| struct { | ||
| char * name | ||
| int * variable | ||
| int value | ||
| } | esp_opt_table [] | |
| enum keys |
| struct { ... } debug_table[] |
| struct { ... } esp_opt_table[] |
| struct { ... } option_table[] |