Authors:
- 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
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Software Engineering Institute, East China Normal University, Shanghai, China, People's Republic
Mingsong Chen
-
University of Florida, Gainsville, USA
Xiaoke Qin
-
Video architect at Intel, Cupertino, USA
Heon-Mo Koo
-
Gainesville, USA
Prabhat Mishra
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