Overview
- Dedicated verification techniques for the different abstraction levels of System C
- Verification quality is measured throughout the refinement of the design
- Integrated design and verification flow
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
Keywords
About this book
A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.
Authors and Affiliations
Bibliographic Information
Book Title: Quality-Driven SystemC Design
Authors: Daniel Große, Rolf Drechsler
DOI: https://doi.org/10.1007/978-90-481-3631-5
Publisher: Springer Dordrecht
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media B.V. 2010
Hardcover ISBN: 978-90-481-3630-8Published: 23 December 2009
Softcover ISBN: 978-94-007-9192-3Published: 16 October 2014
eBook ISBN: 978-90-481-3631-5Published: 02 December 2009
Edition Number: 1
Number of Pages: XIX, 170
Topics: Circuits and Systems, Software Engineering/Programming and Operating Systems, Register-Transfer-Level Implementation