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.