Standards

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

The Siemens subsidiary is involved with a wide range of tutorials, technical papers and more at this month's San Jose conference.

A new version of automotive safety standard ISO 26262 is due in 2018 but how close to Level 5 autonomy will it actually take us? And what about security?

UPF power state tables have become unwieldy due to rapid growth in LP design. The new construct, 'add_power_state' enables better verification flows.

Synopsys' line-up at next week's ARM TechCon includes joint presentations with Huawei and Nvidia.

Accellera has released a maintenance update to the SystemC core language library that addresses a number of issues that users have reported over the past three years.

EEMBC has released a benchmark and initial results that analyze peripheral performance on microcontrollers.

The latest major release of the EMB2 multicore library introduces C++ wrappers, plugins for GPU programming, and a variety of design patterns

Accellera has released an Early Adopter version of the upcoming Portable Stimulus Specification.

Synopsys has released details on its varied activities at DAC 2017, ranging from panels to technical papers.