source: vis_dev/vis-2.1/examples/treearbiter/check_script @ 12

Last change on this file since 12 was 11, checked in by cecile, 13 years ago

Add vis
File size: 121 bytes
Line 
1read_blif_mv 8-arbit.mv
2flatten_hierarchy
3build_partition_maigs
4bounded_model_check -m1 -k5 -v1 8-arbit.ltl
5time
6quit -s
Note: See TracBrowser for help on using the repository browser.