IC技术圈期刊

IC技术圈

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

IC技术圈期刊文章分类

类别： FPGA(364) 前端(228) 验证(168) 后端(128) 嵌入式(9) 自动化(21) 模拟(23) 求职就业(163) 管理(11) 软件(26) 按月份

Formality流程

#前端 #数字IC #EDA #Formality

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