Formal Semantics and Proof Techniques for Optimizing VHDL Models
Publisher: Springer
Published: Sep 26, 2011
Format: paperback
Number of pages: 184
ISBN-13: 9781461551249