ISBN 9781461373315 books & textbook
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Umamageswaran, Kothanda Pandey, Sheetanshu L. Wilsey, Philip A.
Springer /2012-10-26 Paperback / 179 Pages
isbn-10: 146137331X / isbn-13: 9781461373315
