sv

啄缘之间10 天前
开发语言·笔记·学习·uvm·sv
8.【学习】工业级详细接口约束&覆盖率以下是4个最常用但之前未覆盖的核心接口,每个模板都包含:协议关键要点+完整事务类(含协议强制约束+错误注入+权重分布)+全面覆盖率收集器(含特殊场景覆盖)+最佳实践与常见陷阱。
liuluyang53014 天前
sv·fork join
SV中 disable fork停止多个线程正确示例根据上面的代码片段,并不会真的产生注释中所说的“线程0~4”这5个独立的线程。注释中的编号是对线程概念的简化示意,但实际的行为与注释有较大差异。下面我会详细解释这段代码真实的线程创建与执行原理。
liuluyang53014 天前
fpga开发·sv
SV中if与iff区别与用法在 SystemVerilog 中,iff 和 if 是完全不同的两个关键字,容易混淆但用法截然不同。
liuluyang53018 天前
fpga开发·sv
SV 时钟移位示例代码解析verilog这是一个基于高速时钟采样的数字时钟延迟 / 移相电路:
liuluyang53018 天前
sv
SV 移位寄存器操作verilog这是一个移位寄存器操作,核心是 Verilog 的拼接运算符 {} 和非阻塞赋值 <=:
liuluyang5301 个月前
fpga开发·uvm·sv
SV主要关键词详解将采用按功能分组详解的方式,对每个分组内的关键词给出清晰的定义、典型用法和必要示例。对于未在分组中单独列出的关键字(如门级原语nand、nor等),我会在最后以补充列表形式简要说明其含义。
北方孤寂的灵魂5 个月前
verilog·systemverilog·sv·数字验证
systemverilog中随机std::randomize的用法所属对象:randomize是 SystemVerilog 中类(class)的一个方法。它主要用于对类中的随机变量(rand 和 randc 类型)进行随机化操作。 工作原理:
啄缘之间1 年前
学习·fpga开发·verilog·uvm·sv
17. 示例:用assert property检查FIFO空满标志冲突基于 SystemVerilog 的 FIFO 空满标志冲突检查(概念+实现+仿真全解)冲突定义 FIFO 的空标志(empty)和满标志(full)是互斥信号,任何时候都不应同时为高电平。若二者同时有效,说明 FIFO 的状态机或计数器存在逻辑错误,可能导致数据丢失或覆盖。
啄缘之间1 年前
学习·测试用例·verilog·uvm·sv
7. 覆盖率:covergroup/coverpoint/crosscovergroup是收集覆盖率的容器,coverpoint是具体的覆盖点,cross是交叉覆盖。用生活中的例子来通俗解释,比如将covergroup比作调查问卷,coverpoint是问题,cross则是问题之间的关联分析。
啄缘之间1 年前
学习·测试用例·verilog·uvm·sv
4. 示例:创建带约束的随机地址生成器(范围0x1000-0xFFFF)以下是一个完整的SystemVerilog测试平台示例,包含约束随机地址生成、日志输出和波形生成功能:
啄缘之间1 年前
学习·verilog·uvm·sv
4.6 学习UVM中的“report_phase“,将其应用到具体案例分为几步?以下是对 UVM 验证环境中 report_phase 的详细解析,结合具体验证项目场景,提供分步骤实现说明和示例代码:
啄缘之间1 年前
学习·verilog·uvm·sv
3.9 学习UVM中的uvm_env类分为几步?以下是关于 UVM 中 uvm_env 的详细解释、核心功能、适用场景、使用方法以及一个完整的代码示例:
啄缘之间1 年前
学习·uvm·sv
1.4 学习序列(Sequence)分为几步?需要回顾一下 UVM 的基本概念,特别是 Sequence 的部分。我记得 Sequence 是 UVM 中用于生成测试激励的重要组件,它允许我们以一种灵活和可重用的方式定义测试场景。Sequence 可以随机化生成测试数据,并通过 Sequencer 和 Driver 将这些数据发送到被验证的模块(DUT)中。 接下来,应该从 Sequence 的基本概念入手,解释它如何继承自 uvm_object,以及它如何包含多个 sequence_item。我还需要强调 Sequence 的灵活性和可重用性,以及
啄缘之间1 年前
学习·verilog·uvm·sv
3. 学习UVM的核心组件UVM(Universal Verification Methodology)是一种广泛应用于硬件验证领域的标准方法学,旨在提高验证流程的可重用性和可扩展性。UVM 提供了一套预定义的类和方法,用于创建模块化、可重用的验证环境。
我是有底线的