Chip Security Needs A New Language
By Sven Beyer and Sergio Marchese, OneSpin Solutions
SystemVerilog assertions can nicely capture many hardware requirements. However, more is needed for security verification.
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 the safety and privacy of people. However, hardware security is still in its infancy.
