Your Chip Works. Prove It Is Secure.

本 BitCast 演示了如何在现有仿真或仿真运行过程中追踪信息流，以验证芯片设计中的安全敏感资产是否出现意外泄露或修改。该方法为系统性预硅安全验证提供了实用路径，帮助团队识别非预期的信息流动并生成可衡量的安全验证证据。关键内容包括定义资产、安全需求和保护边界的概念，以及信息流追踪在更广泛的仿真和形式验证策略中的定位。