Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey. A Semantic Model of VHDL for Validating Rewriting Algebras. In 22rd EUROMICRO Conference 96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic. pages 167-176, IEEE Computer Society, 1996. [doi]
Abstract is missing.