Publication year: 2008
ISBN: 978-1-4020-8586-4
Internet Resource: Please Login to download book
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.
Subject: Engineering, Emulator, Hardware, assertion checkers, assertion-based verification, automata, hardware verification, integrated circuit, silicon debugging, verification, Circuits and Systems, Theory of Computation, Programming Languages, Compilers, Interpreters