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

Implementation of a SystemC Assertion Library

Implementing advanced temporal assertions in SystemC is an error prone process due to the limited assertion capabilities of the class library. Current approaches ...
Design-Reuse

Zocalo Tech, Inc. Introduces First EDA Tool Dedicated to Assertion Library Productivity

Austin, TX - March 4, 2009-- Zocalo Tech, Inc., an Austin, Texas startup, is introducing Zazz at DVCon 2009. Zazz is a productivity tool for use with assertion libraries. The initial release supports ...