EDN

Cadence to add assertion library to platform

SAN JOSE, Calif. — Cadence Design Systems Inc. said it will add new assertion-based verification (ABV) functionality and a new ABV library to its Incisive verification platform's Unified Simulator.
EDN

0-in moves assertion library toward interoperability

SAN JOSE, Calif. — Taking aim at the proliferation of incompatible assertion formats, 0-In Design Automation Inc. has announced a multifaceted “interoperability plan” that includes a partnership ...
Design-Reuse

Synopsys Advances VCS Solution by Adding Assertion IP Library and Native Testbench Support for SystemVerilog

Latest version of the VCS® solution speeds standards-based verification by unifying SystemVerilog and SystemCâ„¢ languages in a single tool MOUNTAIN VIEW, Calif., May 31, 2005-- Synopsys, Inc. (Nasdaq ...
Design-Reuse

Zocalo Tech Introduces Assertion-Based Verification Capabilities to Improve IP and Electronic Design Quality

AUSTIN, TX-- May 6, 2010 - Zocalo Tech, Inc., an Electronic Design Automation (EDA) company focused on Assertion-Based Verification (ABV) productivity software, today announced that it has added four ...
Semiconductor Engineering

The Assertion Conundrum

It is well documented and widely agreed that assertions can provide a tremendous benefit to design and verification teams by reducing and even eliminating debug – but their use is still not ubiquitous ...