Have you installed PVS? Do you have bin in your UNIX path? (can you type "pvs -version" in the terminal window and get something back?) You also have to do Tools->PVS in the layout window to get the PVS menu to appear in IC5141. I'd also ask if you really need to be using a release that came out 15 years ago and the final hot fix was almost 8 years ago? Regards, Andrew.
↧