source: vis_dev/vis-2.3/share/script_generic.robust @ 40

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

vis2.3

File size: 1.7 KB
Line 
1# Generic script file for creating the next state relation of a system
2# This script invokes the safest commands to create the next state relation.
3# The script should work in almost all cases. Hence the subscript "robust".
4
5# Author: Rajeev K. Ranjan
6
7# Usage:
8# After reading in the design using one of
9# "read_blif, read_blif_mv, or read_verilog" commands,
10# on VIS prompt type: 
11# source script_generic.robust
12#
13# Trouble shooting:
14# i) Invoke the script exactly the way prescribed (no option to "source")
15
16### Script starts here #################################################
17
18  # Get rid of the aliases for the commands used in this file
19
20unalias flatten_hierarchy
21unalias static_order
22unalias build_partition_mdds
23unalias print_img_info
24unalias compute_reach
25unalias dynamic_var_ordering
26unalias write_order
27
28  # Perform the complete specification and deterministic checks
29
30flatten_hierarchy
31
32  # Variable ordering, assuming the default has taken care of the best
33  # setting.
34
35static_order
36
37  # Keep the dynamic variable ordering enabled all the time.
38
39dynamic_var_ordering -e sift
40
41  # Build the next state functions. Use the frontier method such that in
42  # case of very large examples, we can create intermediate variables
43  # and have a handle on the BDD size.
44
45
46  # We do not want  next state functions to have more than 5000 nodes.
47
48set partition_threshold 5000
49build_partition_mdds frontier
50
51  # Next create the next state relation, create clusters and
52  # order them.
53
54  # Use the method published in IWLS 95.
55  # And set the appropriate parameters
56
57set image_method iwls95
58
59  # Make clusters of no larger than 5000
60
61set image_cluster_size 5000
62
63  # Finally invoke the reachability command.
64
65print_img_info
Note: See TracBrowser for help on using the repository browser.