Security Verification of Rambus’ CryptoManager Root of Trust

In this new whitepaper, you will learn:

• A mechanism for specifying security requirements as information flow rules in a concise and comprehensive manner
• The ability to verify these rules during simulation and emulation to leverage existing high-quality test stimulus developed for functional verification.

To learn more, please fill out the form to download the whitepaper.