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.
http://i.stanford.edu/pub/cstr/reports/csl/tr/89/390/CSL-TR-89-390.pdf