Formal Semantics and Proof Techniques for Optimizing Vhdl Models | Kaicus Deutschland