VAL to VHDL transformer: an implementation guide
Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Bob Sahai, Alec G. Stanculescu · 1989
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.