↓ Skip to main content

Provably Correct Systems

Overview of attention for book
Attention for Chapter 11: In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design
Altmetric Badge

Citations

dimensions_citation
5 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
In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design
Chapter number 11
Book title
Provably Correct Systems
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-48628-4_11
Book ISBNs
978-3-31-948627-7, 978-3-31-948628-4
Authors

Tim Todman, Wayne Luk, Todman, Tim, Luk, Wayne