CVA(1) USER COMMANDS CVA(1)
NAME
cva - CMU VHDL Analyzer (release 1.b)
SYNOPSIS
cva [options] file
DESCRIPTION
This manual page describes cva , a compiler for a subset of
VHDL that includes:
1) Design entities: entity declaration, architecture body,
package declaration, package body.
2) Declarations: type, subtype, signal, variable and con-
stant and constant declarations.
3) Types: integer and enumeration types.
4) Concurrent statements: process statement, block state-
ment, conditional signal assignment statement and selected
signal assignment statement.
5) Sequential statements: if statement, case statement,
null statement, wait statement (no timeout clause), variable
assignment statement, signal assignment statement (only one,
untimed, transaction in the source).
6) Libraries and context clauses.
OPTIONS
cva automatically tries the following suffixes for the input
file: ".v", ".vhd" and ".vhdl".
-h,--help
an help message is printed.
-v,--version
the version of the binary is printed.
-m N, --max-nb-errors N
if the number of compilation errors in the current unit
exceeds N, execution is stopped.
IMPLEMENTATION OF VHDL LIBRARIES
Libraries are an implementation-dependant feature of VHDL.
In the CV environment, the physical name of a library is a
directory, and the logical name is an environment variable.
The working library is determined by the value of the
environment variable work. Environmnent variables names
must be entirely in lower case. For instance, when you
install cva, you must compile the predefined VHDL environ-
ment (package standard) in the library std.
mkdir $HOME/lib/cv/std /* 1) create physical library */
setenv std $HOME/lib/cv/std /* 2) define map */
setenv work std /* to logical library */
cva standard.vhdl /* 3) analyze file standard.vhdl */
BUGS
cva may choke while analyzing uncorrect VHDL code, or code
that does not belong to the specified subset.
Since array and physical types are (yet) not in its subset,
cva must be used with a non-compliant STD.STANDARD package.
SEE ALSO
cv(3)
AUTHOR
David Deharbe.
David.Deharbe@cs.cmu.edu
Cva Release 1.b.1 Last change: 12 December 1996
Documentation Sections: cva(1) VHDL Grammar cvc(1) Specification Language
Main Sections: Introduction Installation Documentation Examples