Reasoning about VHD3L and VHDL-AMS using denotational semantics | IEEE Conference Publication | IEEE Xplore