Verification

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

Mentor will present seven papers during the ARMTech Con and a dedicated session, and exhibit at Booth #606.

Synopsys experts are now blogging about key issues in formal verification - how to use it, which techniques to apply, and the effort/reward ratio of doing so.

Oski Technology will offer a range of daily presentations at its DAC 2017 and useful technical advice in the main conference program.

Formal, AI and UVM form key parts of the OneSpin agenda for this year's Design Automation Conference.

Cadence has added two apps to its JasperGold lineup that handle clock-domain crossing and linting.

Japanese giant uses variable thermal simulation on automotive IC intended for harsh environments.

NVMe is driving the SSD market thanks to its many useful features, but at least five major challenges must inform your verification plan.

DVCon China saw Mentor's chairman and CEO give a typically thorough keynote on the evolving challenges for verification.

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