source:
vis_dev/vis-2.1/examples/eisenberg/check_script
@
11
Last change on this file since 11 was 11, checked in by , 13 years ago | |
---|---|
File size: 402 bytes |
Line | |
---|---|
1 | read_blif_mv eisenberg.mv |
2 | init_verify |
3 | compute_reach |
4 | dynamic_var_ordering -f sift |
5 | write_order order |
6 | flatten_hierarchy |
7 | static_order -s input_and_latch order |
8 | build_partition_mdds |
9 | compute_reach -v 1 |
10 | dynamic_var_ordering -f sift |
11 | print_fairness |
12 | lang_empty -d 0 |
13 | model_check -d 0 agtrue |
14 | model_check -d 0 affalse |
15 | read_fairness eisenberg.fair |
16 | print_fairness |
17 | lang_empty -d 0 |
18 | model_check -d 0 affalse |
19 | time |
20 | quit -s |
Note: See TracBrowser
for help on using the repository browser.