2018年7月13日
缩写
摘要： DFT： 设计和验证工作完成之后，我们就得到了一个实现了特定功能的RTL设计。这里我们可以说功能设计的部分已经完成，那接下来的流程中一个很重要的方面就是保证之前实现的功能不能被改变。 逻辑综合(logic synthesis)完成后执行的形式验证(formal verification)就是保证逻辑 阅读全文
posted @ 2018-07-13 17:46 liheng369 阅读(262) 评论(0) 推荐(0) 编辑