Thoroughly Verifying Complex SoCs
By Ann Steffora-Mutschler, Semiconductor Engineering
With so many variables, verifying complex, heterogenous designs is a task with many tentacles.
[…]
“Multi-billion gate chips and heterogeneous platforms are so complex, containing millions of connections, that simulation is inefficient and insufficient,” said Rob van Blommestein, head of marketing at OneSpin Solutions. “What’s needed is exhaustive technology that can handle the massive number of connections. If we’re looking at AI applications that utilize floating point units, the verification of these designs must take into account how to effectively verify floating-point hardware, including ensuring the complex IEEE 754 floating-point standard is being met.”