Report Number: CSL-TR-89-390
Institution: Stanford University, Computer Systems Laboratory
Title: VAL to VHDL transformer: an implementation guide
Author: Augustin, Larry M.
Author: Gennart, Benoit A.
Author: Huh, Youm
Author: Luckham, David C.
Author: Sahai, Bob
Author: Stanculescu, Alec G.
Date: September 1989
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.