Formal Semantics and Proof Techniques for Optimizing VHDL ModelsKothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey₹7,762