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
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!