Reasoning about VHDL and VHDL-AMS using denotational semantics | Publicación