IC技术圈
致力于建立知识、人的联系
IC技术圈期刊 文章分类

类别： FPGA(383) 前端(259) 验证(181) 后端(143) 嵌入式(9) 自动化(26) 模拟(26) 求职就业(165) 管理(13) 软件(28) 按月份
Formality流程
#前端  #数字IC  #EDA  #Formality 
formality是S家的形式验证的工具，形式验证故名思意是完成一个表面逻辑的验证，通过导入rtl代码和DC综合后的门级网表，验证前后逻辑是否一致，是否DC将部分逻辑消除了。
IC摸鱼仔