Verisity Specman is a testbench generation tool that interfaces with a variety of popular verilog and VHDL simulators.
Under /usr/caen/bin (which should be in your search path) are wrapper scripts for the most popular Verisity applications. These scripts set the proper environment variables for you and launch the application. Available applications include:
Work is underway to institute a monthly software subscription fee for accessing CAEN software from non-CAEN EECS hosts. If your machine has already been added to the list of tentative subscribers, you can use the same wrapper scripts in /usr/caen/bin as described above. You must first obtain afs tokens with:
Also, make sure /usr/caen/bin is in your PATH setting. For example, your .cshrc file should contain a line like this:
set path=(/usr/caen/bin $path)
If your machine has not yet been added to the list of tentative subscribers, you may continue to access ECAD software installs on EECS DCO servers by following the directions below for setting up your environment to run the various tools. Note that no new ECAD installations or upgrades are occurring on EECS DCO servers. If you wish to get access to new versions, you must email firstname.lastname@example.org requesting that your machine be added to the list of tentative subscribers. When the new subscription plan is in place, you will then be expected to subscribe. This applies only to Solaris users. There is no interim plan for giving Linux users access to the new ECAD installations on CAEN.
First, identify which package it is that you're interested in and determine the install directory. Then add the following lines to your .cshrc or to a small set-up file that you intend to source prior to running the application, replacing instdir with the correct path.
Open instdir/docs/SpecmanDocs/VerisityHelp.htm in your browser.