In the previous chapter, “Measuring Verification Coverage,” you learned how to classify coverage and that functional coverage defines an explicit implementation or specification coverage space, depending upon the source of coverage metrics. If the metrics are derived from the implementation itself, it defines an explicit implementation coverage space. If the metrics are derived from one of the device specifications, the functional coverage defines an explicit specification coverage space.
In this chapter, I explore the use of functional coverage to model device behavior at various verification interfaces. You will learn the process of top-level design, detailed design and implementation of functional coverage models. The specific requirements of temporal coverage measurement and finite state machine coverage will also be addressed.
Unable to display preview. Download preview PDF.