Sep 09, 2020 - Formal verification is poised to take on an increasingly significant role in automotive security, building upon its already widespread use in safety-critical applications.
Automotive electronics represent a significant opportunity for semiconductor companies, but careful attention to ISO 26262 and current safety practices is essential.
Jul 16, 2019 - Most chip designs now employ low-power design techniques, making accurate estimates of power consumption necessary.
Jun 18, 2019 - Learn about power management for both chip verification and implementation, the emerging importance of pre-RTL UPF checks and the scalability of UPF for large designs.
Jun 6, 2019 - Data path verification with formal for artificial intelligence (AI) designs.
May 30, 2019 - How to use UPF information model APIs to write re-usable low power testbenches that can monitor and control UPF objects.
Apr 11, 2019 - Learn how to address the 3 primary verification challenges of complex SoCs: reducing the effort to find the time window around the root cause of a test failure, reproducing the root ...
Mar 12, 2019 - This article explains exascale debug and how the Synopsys ZeBu emulation system can cut debug time after a failure has been reported during a multi-billion cycles regression.
Mar 7, 2019 - Verifying that there are no bugs in the hardware that cause secure data leaks will help you avoid a meltdown.
Feb 28, 2019 - Start development early on the complex firmware required by next generation SSDs.