VAL(ID:2602/val003)
VHDL Annotation Language.
Augustin, Stanford 1987
source in Ada available from Larry M. Augustin
Places
References:
Augustin, L. M., B. A. Gennart, et al. "An overview of VAL" CSL-TR-88-367, Stanford University, Computer Systems Laboratory. (October 1988). view details
Abstract: VAL (VHDL Annotation Language) provides a small number of new language constructs to annotate VHDL hardware descriptions. VAL annotations, added to the VHDL entity declaration in the form of formal comments, express intended behavior common to all architectural bodies of the entity. Annotations are expressed as parallel processes that accept streams of input signals and generate constraints on output streams. VAL views signals as streams of values ordered by time. Generalized timing expressions allow the designer to refer to relative points on a stream. No concept of preemptive delayed assignment or inertial delay are needed when referring to different relative points in time on a stream. The VAL abstract state model permits abstract data types to be used in specifying history dependent device behavior. Annotations placed inside a VHDL architecture define detailed correspondences between the behavior specification and architecture. The result is a simple but expressive language extension of VHDL with possible applications to automatic checking of VHDL simulations, hierarchical design, and automatic verification of hardware designs in VHDL.
External link: Online copy
Augustin, L. M., B. A. Gennart, et al. "VAL to VHDL transformer: an implementation guide", CSL-TR-89-390, September 1989. Stanford University, Computer Systems Laboratory. view details
Abstract: This report presents one implementation of the VAL semantics. It is based on a transformation from VAL annotated VHDL to self-checking VHDL that is equivalent to the original source from the simulation semantics standpoint.
The transformation is performed as a sequence of tree to tree transformations. The report describes the semantic preserving transformations, as well as the structure of the transformer.
External link: Online copy
Resources
|