Skip to main content
SpringerLink
Log in

System-Level Validation

High-Level Modeling and Directed Test Generation Techniques

  • Book
  • © 2013

Overview

Authors:
  1. Mingsong Chen

    1. Software Engineering Institute, East China Normal University, Shanghai, China, People's Republic

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Xiaoke Qin

    1. University of Florida, Gainsville, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Heon-Mo Koo

    1. Video architect at Intel, Cupertino, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Prabhat Mishra

    1. Gainesville, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Introduction

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 1-17

  3. Modeling and Specification of SoC Designs

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 19-42

  4. Automated Generation of Directed Tests

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 43-59

  5. Functional Test Compaction

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 61-78

  6. Property Clustering and Learning Techniques

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 79-106

  7. Decision Ordering Based Learning Techniques

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 107-127

  8. Synchronized Generation of Directed Tests

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 129-143

  9. Test Generation Using Design and Property Decompositions

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 145-168

  10. Learning-Oriented Property Decomposition Approaches

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 169-184

  11. Directed Test Generation for Multicore Architectures

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 185-200

  12. Test Generation for Cache Coherence Validation

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 201-214

  13. Reuse of System-Level Validation Efforts

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 215-234

  14. Conclusions

    • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
    Pages 235-238

  15. Back Matter

    Pages 239-247
    Download chapter PDF
Back to top

Keywords

About this book

This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures.  Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.  The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation