Testbench supports more open standards

To better support system-level design flows, Verisity is supporting a wide variety of open standards through the Specman Elite testbench automation solution, including OVL, PSL/Sugar and SystemC.

To better support system-level design flows, Verisity is supporting a wide variety of open standards through the Specman Elite testbench automation solution, including OVL, PSL/Sugar and SystemC.

Verisity will support PSL/Sugar as an assertion language and SystemC as a design language.

Verisity has also developed a new Coverage and Assertion Interface (CAI) that allows users to import external coverage metrics and assertions into Specman Elite for coverage and error analysis.

This enables verification engineers to use a variety of coverage metrics, such as functional, assertion, code and formal coverage, in order to drive their verification methodology.

"Verisity has always strived to provide our customers with the most interoperable solutions including support for multiple design and assertion languages", said Moshe Gavrielov, Chief Executive Officer for Verisity.

"By supporting these additional languages, we are enabling verification engineers to choose from a variety of best-in-class technologies and methodologies.

Particularly at the system level, a variety of languages and best-in-class tools must come together to verify today's complex designs".

"We see a great need for our joint customers to have an integrated view of all of their coverage metrics", said Emil Girczyc, President and Chief Executive Officer for 0-In.

"Our integration of CheckerWare's assertion checkers and monitors into Specman Elite's functional coverage metrics enables customers to combine two best-in-class tools for a complete coverage-driven methodology".

"It's critical for engineers to have a common infrastructure for both design and verification", said Alan Naumann, President and Chief Executive Officer for CoWare.

"Verisity's support for SystemC enables us to provide a tight interface between CoWare's ConvergenSC and Specman Elite, thereby giving our joint customers a top-notch solution for design and verification at the system level".

Specman Elite's new Coverage and Assertion Interface (CAI) is an open interface that enables 3rd party developers to import results of heterogeneous coverage metrics and error analysis into Specman Elite for a global view of verification progress and advanced debugging capabilities.

Examples of coverage metrics include: code, assertion, structural and formal coverage.

Several benefits are achieved by having a central view of all coverage metrics.

Amongst these is the ability to grade test suites and create regression tests that maximise total coverage, and cross coverage between coverage types.

Cross coverage enables identification of holes in verification that would be extremely difficult to identify using separate coverage technologies in isolation.

In addition, debug capabilities are significantly improved when error messages from simulators, assertions and the testbench are similarly available in a single analysis environment.

Back to top