Mentor Graphics and Cadence Design Systems have extended the Open Verification Methodology (OVM) to include the Unified Coverage Database (UCDB) application program interface (API) and an XML interchange format. The UCDB API and complementary XML interchange format documentation enable verification teams to manage coverage metrics in a multi-tool, multi-vendor verification environment, and represents a step toward a standardized approach to managing coverage metrics.
Coverage metrics are used to quantify verification effectiveness and completeness, and to highlight areas of a design that require additional verification. Coverage metrics come from numerous sources, including simulation, static design checking, functional formal verification, sequential equivalence checking and emulation. Each verification tool creates coverage metrics that may be discrete, overlapping, or subsets of one another. With the UCDB API and the XML interchange format, verification teams are given the building blocks to manage the enormous amount of information generated during the verification process in a consistent manner with greater flexibility, and to tailor data transfer and analysis capabilities best suited to their tool and verification environment.