source: vis_dev/vis-2.1/examples/minmax/check_script @ 11

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

Add vis

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