形式验证-Formality

时间在走人在变 · 发表于 2024-9-26 15:05:32

您需要登录才可以下载或查看，没有账号？注册

x

最近一次线下面试，我投的是数字IC设计，结果面试官问我什么情况下使用形式验证，我脱口而出”为了检验综合后的网表和RTL文件功能是否一致的时候“，结果他直摇头，说除了这个检验功能，还有什么用。我直接懵了，事后也在网上搜了一下，也没找到形式验证第二个作用，求各位佬解惑

yuanpin318 · 发表于 2024-9-26 19:37:56

post-layout netlist compare with RTL

yuanpin318 · 发表于 2024-9-26 19:38:43

Manual ECO, check RTL and netlist match

温柔阴影 · 发表于 2024-10-17 11:14:56

和设计相关的形式验证应该是功能验证，jaspergold，vcformal之类的

[求助] 形式验证-Formality