source: vis_dev/vis-2.3/share/script_compute_reach.robust @ 77

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

vis2.3

File size: 781 bytes
Line 
1# Script file for computing the reachable states of a FSM.
2# This script invokes the safest commands to finish the reachability of
3# an FSM. This may not be the fastest way to perform
4# reachability. However, the script should work in almost all
5# cases. Hence the subscript "robust".
6
7# Author: Rajeev K. Ranjan
8
9# Usage:
10# After reading in the design using one of
11# "read_blif, read_blif_mv, or read_verilog" commands,
12# on VIS prompt type: 
13# source script_compute_reach.robust
14#
15# Trouble shooting:
16# i) Invoke the script exactly the way prescribed (no option to "source")
17
18### Script starts here #################################################
19
20  # Source the generic script file
21
22source script_generic.robust
23
24  # Invoke the reachability command.
25
26compute_reach -v 1
Note: See TracBrowser for help on using the repository browser.