IC Verification Club | IC技术圈

IC技术圈期刊文章分类

类别： FPGA(377) 前端(242) 验证(177) 后端(133) 嵌入式(9) 自动化(24) 模拟(23) 求职就业(164) 管理(12) 软件(27) 按月份

微信公众号：IC Verification Club

分享验证相关，好好学习，天天向上！

【UVM】 layering sequence for layered protocol

#验证 #UVM

IC中常见的如PCIe，USB，UFS等都是分层传输的协议。对于这些高速IP，其验证环境通常也采用分层结构，方便扩展和重用。

IC Verification Club

UVM设计模式（九）状态模式、Modelling Finite-State Machines in Testbench

#验证 #UVM #设计模式

在我们的验证环境中，有时也需要一个组件专门负责FSM的建模；例如验证USB Device DUT时，验证环境需要模拟USB Host的行为；对于USB协议复杂的状态机，使用专门的FSM组件模拟，可以减少组件间的耦合；也可以将FSM组件的状态赋值到virtual interface上，通过波形协助debug；

IC Verification Club

VC Spyglass CDC(二）常见的CDC处理方法

#验证 #VC Spyglass #CDC

EDA厂商提供golden的CDC处理单元，Synopsys的Building Block IP提供如下解决方案;

IC Verification Club

C case和UVM TB的交互，tube_print, event_sync

#验证 #tube #soc #UVM

C代码调用printf时，打印信息显示在哪个IO上，由pringf调用的底层代码决定；软件C中的printf默认在terminal上打印；对于嵌入式C, 运行在开发板上的code，可以借助target自己的显示IO，如LCD屏，将打印信息直接显示在LCD屏上；如果target没有显示IO，也可以retarget到host端的terminal上；simulation仿真时，运行的C代码需要借助主机host的IO，将打印信息显示在simulation terminal上；常见的方式有以下几种：

IC Verification Club

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

IC技术圈期刊 文章分类

IC技术圈期刊文章分类