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

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

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.

The latest release of the VCS verification environment sports new capabilities that help users find more bugs more quickly, with up to a fivefold increase in verification speed (see the figure). Key ...

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

Patent Issued for Computing system implementing morbidity prediction using a correlative health assertion library (USPTO 11568364): Hi.Q Inc.

One for professional programmers or those very serious about their software development, I think: Google has released a “fluent assertion library” for Android and Java called Truth. It has announced ...