Synopsys
From CVL Wiki
(Difference between revisions)
| Line 22: | Line 22: | ||
vera -h | vera -h | ||
| + | There is some documentation in this directory (type the following): | ||
| + | |||
| + | cd $VERA_HOME/doc | ||
| + | ls | ||
== Medici == | == Medici == | ||
Revision as of 13:13, 25 September 2007
This is the begining of Synopsys documentation -- so far very incomplete.
The following packages are installed on the CVL & CESCA machines.
Contents |
VERA
What does this package do?
How to run it
To run VERA, in a command window, type:
VERA
(Note, thats all capital letters.) Your command prompt will change to signify that you are ready to run VERA. Now type
vera <file>.vr
(Lower case this time.) For some help, try:
vera -h
There is some documentation in this directory (type the following):
cd $VERA_HOME/doc ls
Medici
What does this package do?
How to run it
To run Medici, in a command window, type:
Medici
(Note the capital letter 'M'.) Your command prompt will change to signify that you are ready to run Medici. Now type
medici
(Lower case 'm' this time.)
