Digital system verification : a combined formal methods and simulation framework / Lun Li, Mitchell A. Thornton
- Author:
- Li, Lun, 1970-
- Published:
- [San Rafael, Calif.] : Morgan & Claypool Publishers, [2010]
- Copyright Date:
- ©2010
- Physical Description:
- xiv, 79 pages : illustrations ; 24 cm.
- Additional Creators:
- Thornton, Mitchell Aaron
- Series:
- Synthesis lectures on digital circuits and systems, 1932-3166 ; #27
- Contents:
- Introduction -- Formal methods background -- Simulation approaches -- Integrated design validation system -- Conclusion and summary.
- Subject(s):
- ISBN:
- 9781608451784 (pbk.), 160845178X (pbk.), 9781608451791 (ebook), and 1608451798 (ebook)
- Bibliography Note:
- Includes bibliographical references.
- Source of Acquisition:
- Engineering copy : Gift of Anne and Maurice Baker in honor of Coach Joe Paterno; 2010.
View MARC record | catkey: 6515181