functional verification

Developing a security assurance standard for IP faces numerous problems but Accellera working-group members are trying to find an answer.

In a panel session at June's DAC, Synopsys customers talked about some of the ways they make verification more efficient and bring technologies such as formal, emulation, and simulation together.

Accellera has published the first release of the Portable Test and Stimulus Standard (PSS), with tools suppliers following up with software support.

Accellera has published version 1.0 of the SystemC Configuration, Control and Inspection (CCI) standard.

The formal verification specialist will leverage its recent, successful certification by TÜV SÜD for functional safety solutions.

Traditional functional coverage has run out of steam and novel methods to improve the understanding of what tests are doing are needed to make progress. That is the view of Greg Smith, director of verification innovation and methodology improvement at Oracle.

IC Manage is expanding its work on big data in EDA with the creation of a labs program that aims to work with clients on novel ideas for analyzing the gigabytes of output from chip-design tools.

The first Chinese edition of Accellera's conference series takes place in Shanghai next Wednesday (April 19).

The major verification conference is looming and Mentor's participation will include tutorials that explore the latest in portable stimulus, SystemC, VIP and more.

Meridian Constraints update seeks to extend existing capabilities and address a gap not covered by other functional verification tools.