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