MIT谷歌联合发布处理器验证新方法

MIT、谷歌与华盛顿大学联合发布Granite验证方法，旨在确保处理器功能正确性与非泄漏性。关注：该技术长期有望提升芯片设计验证效率，但短期对供应链无直接影响。

来源：Semiconductor Engineering · 2026/8/2 · 查看原始来源