介绍放宽约束的等价性比对sequential equivalence
在上一篇文章《等价性比对验证之combinational equivalence》中，我们说过combinational equivalence比对最严格，但是在很多场景下有限制（不适应于时序单元变化的场景）。
本章我们在时序单元数量或者位置发生变化，但是整体功能不变的场景下对于combinational equivalence进行一定程度的放松。
sequential equivalence
sequential equivalence被某些eda工具称之为周期精确等价（cycle-accurate equivalence），名字不重要，关键的是理解它和combinational equivalence的区别。
sequential equivalence是使用eda工具形式化地确认是否spec模型和imp模型能否在相同的激励下产生相同的输出（这是最基本的要求）。另外不同于combinational equivalence，它不要求电路中每个时序单元都能够精确地比对，最终只要输出的时序一致即可。
如此，就可能在综合工具进行一些特殊优化使得时序单元数量、位置和流水线深度发生变化时依然能够比对通过。
其实伴随着对于combinational equivalence的要求的放松，
sequential equivalence以及后面即将介绍的transaction-based equivalence.
越来越贴近fpv。
直流无刷伺服电机控制器发展和现状分析
智能无功补偿电容器的分相自动补偿
元器件
什么是分布式系统_分布式系统的类型
华为乾坤安全云服务全新面世
介绍放宽约束的等价性比对sequential equivalence
智能网关的质量很重要，它对家居系统有着直接影响
基于STM8L单片机的IrDA红外通讯设计
2.4GHz外置射频前端模组芯片的介绍
华为推出Mate 20系列手机在俄罗斯智能手机市场已反超三星夺得第一
歌尔股份发布首款 XR 智能交互手环参考设计
半导体MiMMi推拉力机有哪些测试参数？
荣耀V20评测 值不值得入手
万德2000光绘软件操作说明（五）
提高硬件设计能力的学习路线
第五届全球新能源汽车热管理峰会暨中国燃料电池汽车论坛2022
聚焦 | 全国大面积降雨,纯电动汽车能扛过来吗?
交叉编译工具链的命名规则
为什么SIMPLIS在电源电路方面比SPICE更好
揭秘NI汽车测试解决方案的核心竞争力
本章我们在时序单元数量或者位置发生变化，但是整体功能不变的场景下对于combinational equivalence进行一定程度的放松。
sequential equivalence
sequential equivalence被某些eda工具称之为周期精确等价（cycle-accurate equivalence），名字不重要，关键的是理解它和combinational equivalence的区别。
sequential equivalence是使用eda工具形式化地确认是否spec模型和imp模型能否在相同的激励下产生相同的输出（这是最基本的要求）。另外不同于combinational equivalence，它不要求电路中每个时序单元都能够精确地比对，最终只要输出的时序一致即可。
如此，就可能在综合工具进行一些特殊优化使得时序单元数量、位置和流水线深度发生变化时依然能够比对通过。
其实伴随着对于combinational equivalence的要求的放松，
sequential equivalence以及后面即将介绍的transaction-based equivalence.
越来越贴近fpv。
直流无刷伺服电机控制器发展和现状分析
智能无功补偿电容器的分相自动补偿
元器件
什么是分布式系统_分布式系统的类型
华为乾坤安全云服务全新面世
介绍放宽约束的等价性比对sequential equivalence
智能网关的质量很重要，它对家居系统有着直接影响
基于STM8L单片机的IrDA红外通讯设计
2.4GHz外置射频前端模组芯片的介绍
华为推出Mate 20系列手机在俄罗斯智能手机市场已反超三星夺得第一
歌尔股份发布首款 XR 智能交互手环参考设计
半导体MiMMi推拉力机有哪些测试参数？
荣耀V20评测 值不值得入手
万德2000光绘软件操作说明（五）
提高硬件设计能力的学习路线
第五届全球新能源汽车热管理峰会暨中国燃料电池汽车论坛2022
聚焦 | 全国大面积降雨,纯电动汽车能扛过来吗?
交叉编译工具链的命名规则
为什么SIMPLIS在电源电路方面比SPICE更好
揭秘NI汽车测试解决方案的核心竞争力