System-Level Validation

High-Level Modeling and Directed Test Generation Techniques

Authors: Chen, M., Qin, X., Koo, H.-M., Mishra, P.

  • 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
see more benefits

Buy this book

eBook $109.00
price for USA
  • ISBN 978-1-4614-1359-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $139.00
price for USA
  • ISBN 978-1-4614-1358-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $139.00
price for USA
  • ISBN 978-1-4899-8629-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
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.

Table of contents (13 chapters)

  • Introduction

    Chen, Mingsong (et al.)

    Pages 1-17

  • Modeling and Specification of SoC Designs

    Chen, Mingsong (et al.)

    Pages 19-42

  • Automated Generation of Directed Tests

    Chen, Mingsong (et al.)

    Pages 43-59

  • Functional Test Compaction

    Chen, Mingsong (et al.)

    Pages 61-78

  • Property Clustering and Learning Techniques

    Chen, Mingsong (et al.)

    Pages 79-106

Buy this book

eBook $109.00
price for USA
  • ISBN 978-1-4614-1359-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $139.00
price for USA
  • ISBN 978-1-4614-1358-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $139.00
price for USA
  • ISBN 978-1-4899-8629-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Bibliographic Information

Bibliographic Information
Book Title
System-Level Validation
Book Subtitle
High-Level Modeling and Directed Test Generation Techniques
Authors
Copyright
2013
Publisher
Springer-Verlag New York
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4614-1359-2
DOI
10.1007/978-1-4614-1359-2
Hardcover ISBN
978-1-4614-1358-5
Softcover ISBN
978-1-4899-8629-0
Edition Number
1
Number of Pages
XXII, 250
Topics