Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
?
EE Times-Asia > EDA/IP
?
?
EDA/IP??

ABV solution speeds verification of complex designs

Posted: 30 Dec 2004 ?? ?Print Version ?Bookmark and Share

Keywords:cadence design systems? assertion-based verification? abv? functional verification platform?

Cadence Design Systems Inc. announced a comprehensive assertion-based verification (ABV) solution as a part of its Incisive functional verification platform. According to the press release, this new solution speeds verification of complex designs by creating an environment that helps users define assertions correctly, enables early detection of bugs close to the source, and monitors for completeness through assertion coverage. This functionality has been integrated into the platform's Incisive Unified Simulator.

The ABV environment brings together tools, language, IP, debug and coverage. It includes broad, native assertion support for Property Specification Language (PSL), SystemVerilog Assertions (SVA) and Open Verification Library (OVL). In addition to these Accellera standards, the company is also introducing an extended open-source library of assertions.

The new Incisive Assertions Library included in the ABV environment incorporates 50 complex assertion statements and code for customization. This enables users to specify powerful assertion statements quickly, resulting in faster verification time and ultimately, faster time-to-market, explained Cadence. In addition, this library will be available in both PSL and SVA languages.

"Our assertion solution, based on open standards, provides the most advanced verification techniques available on the market today," said Mitch Weaver, VP and GM for the company's Systems and Functional Verification division. "Our customers love the fact that the Incisive approach to assertions provides a unified environment based on an integrated platform for increased verification productivity."




Article Comments - ABV solution speeds verification of ...
Comments:??
*? You can enter [0] more charecters.
*Verify code:
?
?
Webinars

Seminars

Visit Asia Webinars to learn about the latest in technology and get practical design tips.

?
?
Back to Top