List of Commands in VIS
 

 



next up previous contents
Next: References Up: No Title Previous: Commands in VIS

List of Commands in VIS

 

The following list contains a one line summary of all the commands available within VIS. The list can also be found in http://embedded.eecs.berkeley.edu/Respep/Research/vis/doc/packages /cmdIndex.html. Fig. A.1 graphically illustrates the suite of commands available within VIS, and their dependencies. A command cannot be executed before its predecessors (unless the predecessor is also a successor). Default aliases are defined, type alias to list them.

 
Figure A.1:   A Flow Chart of Commands in VIS.

  1. alias: provide an alias for a command
  2. build_partition_mdds: build a partition of MDDs for the current network
  3. cd: change the current node
  4. check_invariant: checks all states reachable in flattened network satisfy specified invariants
  5. comb_verify: verifies the combinational equivalence of two networks
  6. compute_reach: compute the set of reachable states of the FSM
  7. dynamic_var_ordering: control the application of dynamic variable ordering
  8. echo: merely echoes the arguments
  9. flatten_hierarchy: create a flattened network
  10. help: provide on-line information on commands
  11. history: a UNIX-like history mechanism inside the VIS shell
  12. init_verify: create and initialize a flattened network for verification
  13. lang_empty: performs BDD based check of language emptiness under Buchi fairness
  14. ls: list all the child nodes at the current node
  15. model_check: performs BDD based fair CTL model checking on a network
  16. print_bdd_stats: print the BDD statistics for the flattened network
  17. print_fairness: print the fairness constraints of the flattened network
  18. print_hierarchy_stats: print the statistics of the current node
  19. print_img_info: print information about the image method currently in use
  20. print_io: print the names of inputs/outputs in the current node
  21. print_latches: print the names of latches in the current node
  22. print_models: list all the models and their statistics
  23. print_network: print the flattened network
  24. print_network_stats: print statistics about the flattened network
  25. print_partition: write a file in the "dot" format describing the partition graph
  26. print_partition_stats: print statistics about the partition graph
  27. pwd: print out the full path of the current node from the root node
  28. quit: exit VIS
  29. read_blif: read a blif file
  30. read_blif_mv: read a blif-mv file
  31. read_fairness: read a set of fairness constraints
  32. read_verilog: read a verilog file
  33. reset_fairness: reset the fairness constraints
  34. seq_verify: verifies the sequential equivalence of nodes in two networks
  35. set: set an environment variable
  36. simulate: simulate the flattened network
  37. source: execute commands from a file
  38. static_order: order the MDD variables of the flattened network
  39. test_det_and_comp_spec: test if the outputs are completely specified and deterministic
  40. test_network_acyclic: determine whether the network is acyclic
  41. time: provide a simple elapsed time value
  42. unalias: removes the definition of an alias
  43. unset: unset an environment variable
  44. usage: provide a dump of process statistics
  45. which: look for a file called name
  46. write_blif: determinize, encode and write an hnode to a blif file
  47. write_blif_mv: write a blif-mv file
  48. write_order: write the current order of the MDD variables of the flattened network



next up previous contents
Next: References Up: No Title Previous: Commands in VIS



Yuji Kukimoto
Tue Feb 6 11:58:14 PST 1996
Contact 
©2002-2018 U.C. Regents