Overview
- Provides a comprehensive introduction to system-level validation
- Describes high-level modeling using SystemC, UML and transaction-level models
- Includes coverage of high-level modeling and directed test generation techniques as well efficient validation methodology using directed tests and assertions
- Shows how to assure consistency between models with test/assertion refinement and reuse techniques across different levels of abstraction
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: System-Level Validation
Book Subtitle: High-Level Modeling and Directed Test Generation Techniques
Authors: Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
DOI: https://doi.org/10.1007/978-1-4614-1359-2
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media New York 2013
Hardcover ISBN: 978-1-4614-1358-5
Softcover ISBN: 978-1-4899-8629-0
eBook ISBN: 978-1-4614-1359-2
Edition Number: 1
Number of Pages: XXII, 250
Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures