不枉初心,砥砺前行

皮皮祥的博客

欢迎留言,评论

导航

随笔分类 -  验证

FPGA验证和芯片验证
数字IC验证(功能验证)、FPGA验证(原型验证)、形式验证(formal 验证),这几种验证方法如何区分,各自的特点是什么?
摘要:数字IC设计和FPGA设计都属于硬件设计的范畴,随着硬件设计复杂性的不断增加,为了能够最大程度的使得验证收敛,验证方法也越来越多,在数字IC方向和FPGA方向,验证都是贯穿于每一个环节之中,数字IC前端设计需要验证,这里的验证指的是功能验证,后端物理实现也会有验证。做FPGA的呢,也会用到验证,这时 阅读全文

posted @ 2022-09-13 15:29 皮皮祥 阅读(4227) 评论(0) 推荐(0)

IC验证代码覆盖率(code coverage)简析
摘要:IC验证的时候会基于验证环境开发很多test case,但是如何衡量那些test case的质量? 或者说一个IP(或SOC)需要开发多少test case 才可以说这个IP(或SOC)的验证已经充分了?答案就是覆盖率。 覆盖率从大的方面分为两类,一类是功能覆盖率(function coverage 阅读全文

posted @ 2022-08-01 17:35 皮皮祥 阅读(4353) 评论(0) 推荐(0)

FPGA原型验证
摘要:在EDA问世之前,设计人员必须通过手工完成电路设计和布线等基础工作。 随着芯片集成度提高和性能的多元化,令芯片设计要求也变得越来越复杂,一个指甲盖大小的芯片上要集成数百亿颗晶体管,这样细微且宏大的工程,早已不是单纯人力范围所能覆盖,EDA的重要性不言而喻。 根据应用场景的不同,EDA工具的使用主要分 阅读全文

posted @ 2022-06-01 21:22 皮皮祥 阅读(1221) 评论(0) 推荐(0)