Joseph Buck, Dong Wang, Yunshan Zhu. Formal model construction using HDL simulation semantics. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007. pages 115-122, IEEE Computer Society, 2007. [doi]
Abstract is missing.