Harmonic Aristotle 形式化验证引擎新增多时钟域、锁存器与时钟门控验证支持

Harmonic 宣布形式化验证引擎 Aristotle 突破单一非门控时钟限制，现可对多时钟域、锁存器与时钟门控设计进行验证。官方以采用 Gray 码指针、4×8-bit 深度异步 FIFO 为例，验证其不会溢出或下溢、返回正确数据，且数据最终对读端可见，全部性质约 20 分钟完成证明。