Kothanda Uma Umamageswaran <br/><br/>
Formal Semantics And Proof Techniques For Optimizing VHDL Models  

 - Germany  Springer  2000 
<br/><br/><label>ISBN: </label>9780792383758 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal Semantics And Proof Techniques For Optimizing VHDL Models <br/>Kothanda Uma Umamageswaran