Machine learning is gradually moving into implementation and verification tools for EDA.
Arm is on the way to making formal a fundamental part of its verification strategy for ARM Cortex-A processors.
Free e-book offers an introduction to formal verification methods for those who may be curious about the technique, or who need to understand its advantages and limitations in order to manage its use effectively.
The formal verification specialist will be discussing its own experiences and has partnered with users for presentations at DVCon US.
The Siemens subsidiary is involved with a wide range of tutorials, technical papers and more at this month's San Jose conference.
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.
Cadence has added two apps to its JasperGold lineup that handle clock-domain crossing and linting.
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).
View All Sponsors