Three senior verification specialists talk about how they are navigating the challenge of verifying multibillion-transistor SoCs with limited compute resource, increasing coverage demands and shrinking timescales.
Emulators have come a long way since their first introduction nearly three decades ago.
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.
View All Sponsors