source: vis_dev/vis-2.3/share/master.visrc @ 43

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

vis2.3

File size: 1.2 KB
Line 
1set open_path .:
2
3alias acyc test_network_acyclic
4alias aig  build_partition_maigs
5alias amc  approximate_model_check
6alias bmc  bounded_model_check
7alias ci   check_invariant
8alias dvo  dynamic_var_ordering
9alias flt  flatten_hierarchy
10alias icv  incremental_ctl_verification
11alias init init_verify
12alias le   lang_empty
13alias ltl  ltl_model_check
14alias mc   model_check
15alias imc  iterative_model_check
16alias part build_partition_mdds
17alias pf   print_fairness
18alias pbs  print_bdd_stats
19alias phs  print_hierarchy_stats
20alias pii  print_img_info
21alias pio  print_io
22alias pl   print_latches
23alias pm   print_models
24alias pn   print_network
25alias pns  print_network_stats
26alias pp   print_partition
27alias pps  print_partition_stats
28alias q    quit
29alias rch  compute_reach -v 1
30alias resv res_verify
31alias rf   read_fairness
32alias rl   read_blif
33alias rlmv read_blif_mv
34alias ro   so -s input_and_latch
35alias rsf  reset_fairness
36alias sift dvo -f sift
37alias sim  simulate
38alias so   static_order
39alias synth synthesize_network
40alias window dvo -f window
41alias wl   write_blif
42alias wlmv write_blif_mv
43alias wo   write_order
44
45#image method iwls95 related settings
46set image_W1 6
47set image_W2 1
48set image_W3 1
49set image_W4 2
50set partition_threshold 5000
Note: See TracBrowser for help on using the repository browser.