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-5Published: 19 September 2012
Softcover ISBN: 978-1-4899-8629-0Published: 20 September 2014
eBook ISBN: 978-1-4614-1359-2Published: 25 September 2012
Edition Number: 1
Number of Pages: XXII, 250
Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures