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

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