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