Aristotle验证千万门级芯片模块并降功耗
热点事件持续更新
Aristotle验证千万门级芯片模块并降功耗
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Harmonic的形式化推理系统Aristotle完成Tensordyne芯片硬核模块验证：在1220万等效门规模模块上证明185条属性、驳倒56条，并发现最长达11万周期的错误。 验证后，Aristotle从规格直接生成RTL，在每一步重新进行形式化证明，并将模块功耗降低约26%。验证工程师Jonathan Ko称，以传统工具完成这一规模的验证“不可想象”。
AI 根据报道生成 · 1 小时前更新
最新进展10月29日 00:31
Aristotle 验证 1220 万门芯片模块，证明 185 条属性并降功耗 26%报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- AGI HuntAristotle 验证 1220 万门芯片模块，证明 185 条属性并降功耗 26%
Harmonic 的形式化推理系统 Aristotle 在 Tensordyne 的芯片验证中处理 1220 万等效门模块，证明 185 条属性并驳倒 56 条，发现深达 110,000 周期的 bug。系统随后从规格直接生成 RTL、逐步重新形式化证明，并将功耗降低约 26%；验证工程师 Jonathan Ko 称这一成果在传统工具下“不可想象”。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。