CV: User Documentation
The documentation consists of the following documents:
the manual page of the VHDL analyzer
cva,
the complete grammar of the VHDL subset
in Backus-Naur notation.
the manual page of the VHDL model checker
cvc,
a comprehensive description of
the specification language.
Main Sections:
Introduction
Installation
Documentation
Examples
CV /
Carnegie Mellon University /
cmuvhdl@cs.cmu.edu /
Revised December 1996