↓ Skip to main content

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Overview of attention for book
Attention for Chapter 9: Applications of the Dynamic Model
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Applications of the Dynamic Model
Chapter number 9
Book title
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Published by
Springer, Boston, MA, January 1999
DOI 10.1007/978-1-4615-5123-2_9
Book ISBNs
978-1-4613-7331-5, 978-1-4615-5123-2
Authors

Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey