IEEE - Institute of Electrical and Electronics Engineers, Inc. - A complete approach to unreachable state diagnosability via property directed reachability

2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)

Author(s): Ryan Berryhill ; Andreas Veneris
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2016
Conference Location: Macau, China
Conference Date: 25 January 2016
Page(s): 127 - 132
ISBN (CD): 978-1-4673-9568-7
ISBN (Electronic): 978-1-4673-9569-4
ISSN (Electronic): 2153-697X
DOI: 10.1109/ASPDAC.2016.7428000
Regular:

In modern hardware design, substantial manual effort is required to fix a design when verification discovers a state unreachable. This paper addresses this growing pain where given an unreachable... View More

Advertisement