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 click on the button below to download the whitepaper.