Formality流程

IC技术圈

致力于建立知识、人的联系

#前端 #数字IC #EDA #Formality

formality是S家的形式验证的工具，形式验证故名思意是完成一个表面逻辑的验证，通过导入rtl代码和DC综合后的门级网表，验证前后逻辑是否一致，是否DC将部分逻辑消除了。