To verify large, complex designs and meet time-to-market, you must use both simulation and emulation.
A look at how formal verification strategies can be used to check the security feature of complex SoCs for potential data leakage and data integrity issues
By taking a pragmatic approach, the two technology giants have comfortably adopted high-level synthesis and verification - and have shared their experiences.
Sequential equivalence checking can help trap errors introduced by clock gate insertion, uninitialised registers, and X propagation issues.
A technique built for software development is now helping hardware engineers master increasingly complex verification flows.
Accelerating software testing is vital to speeding up embedded system development, especially for Android and Linux systems running on ARM-based hardware. Virtual prototyping strategies, including the use of VDKs, can help.
How to accelerate many aspects of software testing by using virtual prototypes to stand in for target hardware from early in the development cycle.
A look at the challenge of Ethernet verification as data rates rise and the standard is applied in a wider variety of applications.
A look at the challenges involved in PCIe verification as the standard evolves to 4.0 and beyond.
How the powertrain of an electric vehicle is modeled first in software, then elaborated using virtual hardware running target code, to enable virtual FMEA with rich data-gathering and analysis capabilities.
View All Sponsors