在完整的芯片设计流程中，等价性验证工具被广泛应用到设计流程中的各个不同阶段。诸如系统C模型级对RTL级、RTL级对RTL级、RTL级对门级以及门级实现之间，工程师需要检验变换前后的功能一致性，证明设计的变换或优化没有产生功能的变化。
接下来播放
更多视频推荐
373观看
323观看
298观看
378观看
277观看
1076观看
1335观看
335观看