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.

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 ...

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

Recent assertion-standardization achievements hold the promise of improving verification efficiency and allowing formal verification to work with simulation. There are tools that support assertion ...