Formal Semantics And Proof Techniques For Optimizing Vhdl Models by Kothanda Umamageswaran, Sheetanshu L. Pandey & Philip A. Wilsey