Kothanda Umamageswaran

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Formal Semantics and Proof Techniques for Optimizing VHDL Models	978-O-7923-8375-8 (O-7923-8375-3)	1998	Sheetanshu L. Pandey · Philip A. Wilsey