Formal model construction using HDL simulation semantics | IEEE Conference Publication | IEEE Xplore