Quality-Driven SystemC Design (Paperback, 2010 ed.)

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.

General

Imprint:	Springer
Country of origin:	Netherlands
Release date:	October 2014
First published:	2010
Authors:	Daniel Grosse • Rolf Drechsler
Dimensions:	235 x 155 x 10mm (L x W x T)
Format:	Paperback
Pages:	170
Edition:	2010 ed.
ISBN-13:	978-9400791923
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Promotions
LSN:	9400791925
Barcode:	9789400791923

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!