Bob Sahai

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1