Quality-Driven SystemC Design - Couverture rigide

Große, Daniel; Drechsler, Rolf

 
9789048136308: Quality-Driven SystemC Design

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9789400791923: Quality-Driven SystemC Design

Edition présentée

ISBN 10 :  9400791925 ISBN 13 :  9789400791923
Editeur : Springer, 2014
Couverture souple