Digital System Verification : A Combined Formal Methods and Simulation Framework /
Integrated circuit capacity follows Moore's law, and chips are commonly produced at the time of this writing with over 70 million gates per device. Ensuring correct functional behavior of such large designs before fabrication poses an extremely challenging problem. Formal verification validates...
Main Authors: | , |
---|---|
Corporate Author: | |
Format: | Book |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2010
|
Edition: | 1st ed. 2010 |
Series: | Synthesis Lectures on Digital Circuits & Systems,
|
Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Duke University
Call Number: |
ISIL:US-NCD |
---|