April 12, 2018
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.
April 5, 2018
Strato emulator family adds modular boxes that can build from 640K and 1.25B gate-counts for automotive, mil/aero markets and 'digital twin' strategies.
March 9, 2018
DATE highlights for Mentor include a 90-minute workshop on achieving functional safety for autonomous driving.
February 20, 2018
The formal verification specialist will leverage its recent, successful certification by TÜV SÜD for functional safety solutions.
February 15, 2018
The formal verification specialist will be discussing its own experiences and has partnered with users for presentations at DVCon US.
February 14, 2018
Breker's work towards the portable stimulus roll-out will lead much of its offering later this month in San Jose.
February 12, 2018
The Siemens subsidiary is involved with a wide range of tutorials, technical papers and more at this month's San Jose conference.
January 23, 2018
Struggling with how to make your debug triage process more efficient? A new checklist could help focus your efforts.
December 7, 2017
ST has tweaked its standard HLS flow for ISPs to meet the requirements of ISO 26262
December 6, 2017
UPF power state tables have become unwieldy due to rapid growth in LP design. The new construct, 'add_power_state' enables better verification flows.