Quality-Driven SystemC Design

October 16, 2014|
Quality-Driven SystemC Design by Daniel Große
$156.52 
$168.95 save 7%
Paperback
Earn 783 plum® points
Ships free on orders over $35

In stock online

Not available in stores

Prices and offers may vary in store

about

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.

Dedication. List of Figures. List of Tables. Preface. Acknowledgments. 1. INTRODUCTION. 2. PRELIMINARIES. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 SystemC. 3. SYSTEM-LEVEL VERIFICATION. 3.1 Constraint-based Simulation. 3.2 Improvements for Constraint-based Simulation. 3.3 Contradiction Analysis for Constrain...
Loading
Title:Quality-Driven SystemC DesignFormat:PaperbackProduct dimensions:9.25 X 6.1 X 0 inShipping dimensions:9.25 X 6.1 X 0 inPublished:October 16, 2014Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9400791925

ISBN - 13:9789400791923

Appropriate for ages: All ages

Look for similar items by category: