让你彻底理解DFT

从本期开始，E课网将为大家推出一系列的‘让你彻底理解’专题。该专题的目的是让大家更好的理解并弄清楚设计过程中所面临的各种问题，在对问题充分理解的基础上才能更好的掌握解决问题的方法。E课网推荐的学习方法是：理解问题域；比较并掌握解决问题的不同方法；熟悉解决问题过程中遇到的各种难题；再通过运用EDA工具解决实际问题来巩固加深之前所学的知识。     在了解DFT之前，先让我们简短回顾下整个数字芯片的设计流程：产品定义-设计-验证-逻辑综合-物理设计-生产制造。设计和验证工作完成之后，我们就得到了一个实现了特定功能的RTL设计。这里我们可以说功能设计的部分已经完成，那接下来的流程中一个很重要的方面就是保证之前实现的功能不能被改变。      逻辑综合(logic synthesis)完成后执行的形式验证(formal verification)就是保证逻辑综合得到的网表(netlist )与之前的RTL设计保持功能一致。物理设计的工作完成后，一是要进行物理设计产生的网表(post-routing netlist)与综合网表(pre-routing netlist)间的形式验证，另一工作就是LVS(logic versus schematic)以确保可制造的GDSII版图实现与post-routing netlist的功能一致性。至此我们就得到了一个与RTL设计功能一致的，可制造的版图实现，然后经过生产制造的过程得到实现特定功能的芯片。那新的问题就是用怎样的方法检查post-routing netlist(或GDSII database)与制造出的芯片之间是否功能一致？或者说制造出来的芯片是否实现了产品定义阶段所定义的功能呢？
      回答这一问题之前再让我们来看看常用的功能验证方法。常用的功能验证的方法之一是逻辑功能仿真。在输入特定激励的情况下，检查设计能不能得到期望的输出。这也是设计验证阶段所采用的常规办法。当然我们也可以利用验证阶段所得到测试用例，在netlist上采用逻辑功能仿真的方法，验证netlist中有没有改变RTL设计中实现的功能。但在netlist上采用这种方法的缺点是仿真周期长，消耗资源(cpu & memory)多。所以在特定的情境下，形式验证，包括LVS，被用来做功能验证。当然这些方法不需要测试用例，而是根据电路结构来判断两个实现之间是否保持功能一致。如果两个设计实现保证了电路结构一致，功能自然而然也就是一致的。       接下来言归正传，DFT的全称是design for test(可测试性设计)，DFT威廉希尔官方网站 就是前面我们寻求的检测post-routing netlist与制造出来的芯片之间功能一致性的方法。逻辑综合以及物理设计的过程中，可能因为EDA工具，或者设计流程，甚至人为等因素导致功能被改变。而在生产制造过程中，由于工艺或者环境等因素有可能在硅片上产生物理缺陷，进而导致制造出的芯片表现出不同于设计功能的现象。DFT威廉希尔官方网站 就是用来捕捉芯片中的物理异常，进而做出芯片是否与post-routing netlist功能一致的判断。DFT威廉希尔官方网站 所采用的方法也是根据电路结构，利用post-routing netlist产生出结构测试向量；如果在测试机台(ATE)上，这些结构测试向量也能令制造出的芯片产生出同样的输出结果，那么我们就认为该芯片与pos-routing netlist功能一致，实现了特定的设计功能。