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 automotive safety standard targets 90% in-system test coverage. VersaPoint technology helps to simplify reaching your target.
PDK enables photonics prototyping on MPW runs and compatibility with volume production at STMicroelectronics at Crolle.
Faster, lower power flash interface IP with built-in encryption/decryption speeds access to embedded and removable storage.
Simulation suite automates the largely manual process of validating more than 25 SerDes protocols.
IP provides key building blocks for building better video and audio playback devices using HDMI 2.1
Better integration of EM modeling and analysis tools with Synopsys' Custom Compiler should enable tighter design margins
Start-up Baum is co-located with Verific at DAC 2017 and will demonstrate its soon-to-launch power analysis and modeling software.
L-5 autonomous vehicles need centralized raw data analysis with machine learning to cope with the demands of ASIL-D functional safety. Mentor's response is DRS360.
ARM and Tanner EDA aim to chart a path toward cheaper, easier to realize designs for the embedded and Internet-of-Things markets.
View All Sponsors