In the news

By: Electronics World

Edaptive Computing and OneSpin unveiled the OneSpin Formal Verification Certification Program to help IC designers gain the necessary expertise to deliver functionally correct, safe, assured and secured electronics to the market.

By: Bryan Moyer

Implementing security remains challenging, regardless of the hardware platform.

By: Ann Steffora Mutschler

Growing complexity is creating an array of confusing options.

By: Jorg Bormann

Pre-silicon verification engineers assume that hardware interfaces must behave according to well-defined protocol rules. What happens when the rules are broken?

By: Sergio Marchese

In an increasingly complex world, pre-silicon becomes specification and verification of hardware security an absolutely crucial parameter. To be able to do that, there is however, need more robust and efficient design flows.

By: Sergio Marchese

Processors, including those based on RISC-V, take on critical functions in a variety of uses. The spectrum ranges from networked autonomous vehicles from smartphones and 5G devices to IoT products. How can the security and privacy of end users be protected?

By: Rob van Blommestein

SoC developers give little thought to re-verifying a licensed core, trusting the vendor to perform thorough verification of functional correctness, and other aspects of integrity.

By: Rob van Blommestein

IC integrity verification is a major focus at recent and upcoming industry virtual conferences.