Sven Beyer

(all posts)
Sven Beyer is a product manager, Design Verification at OneSpin Solutions. A verification engineer, he has extensive formal verification and hardware design experience.

Author's Latest Posts

Chip Security Needs A New Language

By Sven Beyer - 26 Aug, 2019 - Comments: 0

By Sven Beyer and Sergio Marchese Safety- and security-critical systems, such as connected autonomous vehicles, require high-integrity integrated circuits (ICs). Functional correctness and safety are necessary to establish IC integrity, but not sufficient. Security is another critical pillar of IC integrity. Systems and products using ICs with security vulnerabilities ultimately undermine th... » read more

Formal Verification Of RISC-V Cores

By Sven Beyer - 28 Feb, 2019 - Comments: 0

RISC-V is hot and stands at the beginning of what may be a major shift in the industry. Even a cursory review of upcoming conferences programs and recent technical articles makes that clear. While it is still early in the evolution of the processor architecture, there is certainly the potential that RISC-V will be a game-changer in the IP and semiconductor industry. As “a free and open ISA en... » read more