Aristotle扩展多时钟设计验证能力
热点事件持续更新
Aristotle扩展多时钟设计验证能力
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Harmonic宣布，其形式化验证引擎Aristotle已突破原先仅支持单一非门控时钟的限制，现可验证多时钟域、锁存器和时钟门控设计。 官方以采用Gray码指针的4×8-bit深度异步FIFO为例，称证明引擎可在约20分钟内验证系统不会发生缓冲区溢出或下溢、返回正确数据，且数据最终对读端可见。
AI 根据报道生成 · 1 小时前更新
最新进展11月13日 06:22
Harmonic Aristotle 形式化验证引擎新增多时钟域、锁存器与时钟门控验证支持报道时间线
沿着报道，了解事件的不同侧面。
11月13日
- AGI HuntHarmonic Aristotle 形式化验证引擎新增多时钟域、锁存器与时钟门控验证支持
Harmonic 宣布形式化验证引擎 Aristotle 突破单一非门控时钟限制，现可对多时钟域、锁存器与时钟门控设计进行验证。官方以采用 Gray 码指针、4×8-bit 深度异步 FIFO 为例，验证其不会溢出或下溢、返回正确数据，且数据最终对读端可见，全部性质约 20 分钟完成证明。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。