A Semantic Model of VHDL for Validating Rewriting Algebras

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]

Authors

Sheetanshu L. Pandey

This author has not been identified. Look up 'Sheetanshu L. Pandey' in Google

Kothanda R. Subramanian

This author has not been identified. Look up 'Kothanda R. Subramanian' in Google

Philip A. Wilsey

This author has not been identified. Look up 'Philip A. Wilsey' in Google