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

类别： FPGA(364) 前端(228) 验证(168) 后端(128) 嵌入式(9) 自动化(21) 模拟(23) 求职就业(163) 管理(11) 软件(26) 按月份
【逻辑电路】for循环的等价展开电路
#FPGA  #for 
从功能的角度来看，上述这几种方式去替代我们的for写法均可，但是有时候，使用for循环最为方便，例如我们的输入特别多，我们使用if，那样会让我们的代码行数非常多，显得臃肿不堪，可效率低下，这时候for循环就可大显身手。
FPGA LAB
Formal Verification (五) coverage、sign-off flow
#验证  #formal 
formal和simulation一样，也是基于coverage-driven的验证方式；针对formal的coverage metrics，可以分为以下几种（不同工具定义略有不同，本文以Jaspergold为例）：code coverage、functional coverage。以覆盖率作为sign-off的标准，各家工具略有不同，但大体一致，分为6个步骤……
IC Verification Club