BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-89-390
       ENTRY:: November 08, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: VAL TO VHDL TRANSFORMER: AN IMPLEMENTATION GUIDE
        TYPE:: Technical Report
      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
       PAGES:: 38
    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.
       NOTES:: [Adminitrivia V1/Prg/19941108]
         END:: STAN//CSL-TR-89-390