Toward a formal semantics of IEEE Std. VHDL 1076 | IEEE Conference Publication | IEEE Xplore