【SystemVerilog 之 激励发生的随机化】~ 随即约束和分布、约束块控制、随机函数、数组约束、随机控制

已于 2022-07-29 10:40:13 修改
阅读量1k 收藏 7
点赞数 2
分类专栏： IC设计/验证、FPGA 文章标签： fpga开发 集成测试
于 2022-06-13 11:50:32 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_40549426/article/details/125254952
版权

本章目录：

1. 随即约束和分布

1.1 为什么要随机？

在这里插入图片描述

1.2 为什么要约束？

在这里插入图片描述

1.3 要随机什么？

在这里插入图片描述

1.4 声明随机变量的类

在这里插入图片描述
在这里插入图片描述

1.5 什么是约束？

在这里插入图片描述

1.6 权重分布

在这里插入图片描述
在这里插入图片描述

1.7 inside运算符

在这里插入图片描述

1.8 条件约束

在这里插入图片描述

1.9 双向约束

在这里插入图片描述
在这里插入图片描述

1.10 练习

在这里插入图片描述
答案：AC
解析：B错误，设计的结构它是静态的，形成于编译时，不可以随机化，而验证的结构发生在仿真时，可以随机化；D错误，输出不可随机化。

在这里插入图片描述
在这里插入图片描述
答案：AB
解析：C错误，month不符合条件，以为题中month是3位的，表示07，尽管约束范围是112，那最后只能出现在1~7；D错误，year范围不对。注意：同一个类中只要有一个成员变量随机失败，那整个随机就是失败的。

2. 约束块控制

2.1 打开或者关闭约束块

在这里插入图片描述

2.2 内嵌约束

在这里插入图片描述

2.3 练习

在这里插入图片描述
在这里插入图片描述
答案：A
解析：有多个约束并且没有禁止任何约束时，仿真时会报错，该题中p.length初始化为0，约束条件中不影响p.length，所以，最后还是0.
在这里插入图片描述

在这里插入图片描述
答案：C
解析：注意图中的soft，降低自己的优先级，所以只要满足题中的条件即可。

3. 随机函数

3.1 pre_randomize 和 post_randomize

在这里插入图片描述

3.2 随机数函数

在这里插入图片描述

3.3 随机化个别变量

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
答案：C
解析：这里只对low随机，那么其余的都是默认值0，不论怎么初始化，约束条件hi>med不满足，所以low没办法随机出来，故报错。

4. 数组约束

4.1 数组的大小

在这里插入图片描述

4.2 数组中每个元素

在这里插入图片描述
在这里插入图片描述

4.3 产生唯一元素值的数组

4.3.1 方式一

在这里插入图片描述

4.3.2 方式二

在这里插入图片描述

4.4 随机化句柄数组

在这里插入图片描述

4.5 练习

在这里插入图片描述
在这里插入图片描述
答案：D
分析：原因在于d[i]<=d[i+1],此时的i的取值无法满足，比如i==3，那么就要满足d[3]<=d[4]，此时有d[4]吗？显然没有。

在这里插入图片描述
在这里插入图片描述
答案：B
分析：原因在于类RandStuff中value没有rand修饰，那它的值就是确定的，即为1；如果它要是被rand修饰，此时因为它是2位的，所以它的值在0~3都是对的；

拓展：如果类RandArray没有new的话，句柄数组就会是悬空的，此时他没有指定对象，所以这样做很危险。
总结：2个点===> 其一，一定要对该对象进行new，其二是一定要看句柄所指对象的变量有没有被rand修饰，有的话也要进行随机。

5. 随机控制

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

声明

本人所有系列的文章，仅供学习，不可商用，如有侵权，请告知，立删！！！

本人主要是记录学习过程，以供自己回头复习，再就是提供给后人参考，不喜勿喷！！！

如果觉得对你有用的话，记得收藏+评论！！！

IC二舅
关注
  • 2
    点赞
  • 踩
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
（20）System Verilog利用clocking块产生输出信号延迟激励
m0_46498597的博客
12-14 652
（20）System Verilog利用clocking块产生输出信号延迟激励 1.1 目录 1）目录 2）FPGA简介 3）System Verilog简介 4）System Verilog利用clocking块产生输出信号延迟激励 5）结语 1.2 FPGA简介 FPGA（Field Programmable Gate Array）是在PAL、GAL等可编程器件的基础上进一步发展的产物。它是作为专用集成电路（ASIC）领域中的一种半定制电路而出现的，既解决了定制电路的不足，又克服了原有可
system verilog随机函数_SystemVerilog 中的随机化激励
weixin_39743622的博客
12-19 500
1SystemVerilog中的随机化激励神州龙芯集成电路设计公司杨鑫徐伟俊陈先勇夏宇闻[摘要]：随着集成电路的验证工作日渐复杂，对验证的可靠性提出了越来越高的要求。传统的验证工作中也使用随机化激励以便减轻测试代码编写的工作量，以提升验证的可靠性。在SystemVerilog更强调了利用随机化激励函数以提高验证代码的效率和验证可靠性的重要性。本文以VMM库为例，阐述了如何在SystemVer...
SystemVerilog数组约束
qq_39794062的博客
02-09 1250
一、打开或关闭约束 一个类可以包含多个约束块，可以把不同的约束块用于不同测试。 各个约束块之间的约束内容是互相协调不违背的。 使用内建的constraint_mode()函数可以根据不同的需要打开或者关闭约束。 二、内嵌约束 多个约束块之间会相互作用，用来使能和禁止这些约束的代码也会增加测试的复杂性。 约束需要考虑类的开放封闭原则。 SV允许使用randomize() with来增加额外的约束，这和在类里增加约束是等效的，但同时要注意内部约束和外部约束之间应该是协调的，如果出现互相违背的情况，那么 随
System Verilog激励发送和结果检查
lfasdf的博客
05-27 278
本次展示输入何种激励和如何检查正确为主，其中DUT仍然保持不变，与[数字验证平台–从0到1（基于Verilog HDL）(https://blog.csdn.net/lfasdf/article/details/124984534?spm=1001.2014.3001.5502)一致 tinyalu_tb.sv文件 module top; typedef enum bit[2:0] {no_op = 3'b000, add_op = 3'b001
SystemVerilog 中的随机化激励.pdf
02-16
本文以VMM 库为例，阐述了如何在SystemVerilog 中使用随机化函数来编写高效率 的测试代码，重点介绍了可重用验证函数库的使用方法，以帮助读者理解如何使用 SystemVerilog 高效率地完成复杂的设计验证。
一个牛人的Systemverilog总结.pdf
06-20
- **预随机化和后随机化函数**如`pre_randomize()`和`post_randomize()`可以在随机化前后执行特定操作，如设置限制或计算误差。 7. **约束技巧**： - 在约束中可以使用变量来增加灵活性。 - 使用`rand_mode`将...
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
02-25
第八章 激励发生的随机化 340 7.1 随机约束和分布 340 权重分布 353 条件约束 355 7.2 约束块控制 358 7.3 随机函数 366 7.4 数组约束 373 7.5 随机控制 388 第九章 线程与通信 432 9.1 线程的使用 432 ...
systemverilog知识点总结思维导图版
05-11
SystemVerilog知识点总结思维导图版 SystemVerilog是一种基于...* randomize语句：随机化约束操作 * randomize函数：启动随机化 这些知识点只是SystemVerilog的一部分，但它们是学习和应用SystemVerilog的基础。
SystemVerilog3.1a中文参考手册.zip
12-24
4. **约束随机化（Constraint-based Randomization）**：通过定义约束，SystemVerilog能够生成符合特定条件的随机激励，极大地增强了测试平台的覆盖率和有效性。 5. **覆盖（Coverage）**：覆盖点和覆盖组提供了...
SystemVerilog
05-19
约束随机化（constrained randomization）结合覆盖，可以生成有效的测试激励，提高验证效率。 8. **验证组件**：SystemVerilog for Verification-3rd.pdf中讲解了验证组件如UVM（Universal Verification ...
SystemVerilog语言之数组的约束
weixin_45176819的博客
09-14 283
SystemVerilog；数组的约束；
数字验证学习笔记——SystemVerilog芯片验证17 ——数组约束
qq_32100199的博客
12-28 494
数组约束
[SV]SystemVerilog数组约束方法总结
热门推荐
元直的博客
07-18 1万+
SystemVerilog数组约束方法总结 前言：在验证工作中，数组是我们最常用的数据结构之一了，那么如何对数组元素做约束呢？本文将给出一些实战的例子。 一、约束动态数组的大小 最容易理解的数组约束函数是size()，他可以约束动态数组或者队列的元素个数。 class dynamic_size_array(); rand logic [31:0] dyn_array[]; constrain...
SystemVerilog学习杂记——随机与约束
m0_57557609的博客
03-14 264
绿皮书第六章内容常用函数汇总 随机修饰符 class rand bit[31:0] src; // 随机修饰符 randc bit[7:0] kind; // 周期随机修饰符 endclass 随机变量一般为2值类型变量，随机化只能随机0和1，即使设置为4值类型随机变量，也不会随机到X和Z。 约束 约束 class rand bit[31:0] src; // 随机修饰符 randc bi
（九）system verilog的随机化（1）
数字IC攻城狮
11-09 1180
system verilog的随机化介绍System Verilog中的随机化带有随机变量的简单类什么可以被随机化约束简单表达式等效表达式权重分布集合成员和inside运算符条件约束双向约束使用合适的数学运算来提高效率解的概率 介绍 随着设计变得越来越大，要产生一个完整的激励集来测试设计的功能也变得越来越困难了，编写足够多的定向测试集已经不太现实了。解决的办法是采用受约束的随机测试法（CRT）自动产生测试集。定向测试集能找到可能存在的Bug，CRT方法通过随机激励、约束来选择测试方案，只产生有效的激励，以及
SystemVerilog学习 （9）——随机化
最新发布
apple_53311083的博客
11-16 1146
随着设计变得越来越大,要产生一个完整的激励集来测试设计的功能也变得越来越困难了。 定向激励的测试方法早已经无法满足检查功能完整性的要求。 解决的办法是采用受约束的随机测试法(CRT)自动产生测试集。随机约束测试（CRT，Constrained-Random Test）即能够产生你感兴趣的、你想不到的的测试向量，通过回归测试、替换随机种子的方式来提高单位测试用例的覆盖率收集效率。
SystemVerilog的随机化
GGbao_的博客
05-02 1268
采用受约束的随机测试法(CRT)自动产生测试集。定向测试集能找到你认为可能存在的Bug,CRT方法通过随机激励,可以找到你都无法确定的Bug。可以通过约束来选择测试方案,只产生有效的激励,以及测试感兴趣的功能项。CRT环境不仅需要产生激励,还需要通过参考模型,传输函数或其他方法预测输出结果。CRT由两部分组成:使用随机的数据流为 DUT 产生输人的测试代码,以及伪随机数发生器(PRNG)的种子(seed)。只要改变种子的值,就可以改变CRT的行为。
System Verilog 约束技巧
someque的博客
07-23 3073
文章目录System Verilog的约束与随机约束 System Verilog的约束与随机 约束 简单表达式：一个表达式中最多只能使用一个关系操作符，约束块里只能包含表达式，所以在约束块里不能进行赋值。 权重分布：dist src dist {0:40,[1:3]:=60}; //权重和不用等于100，值和权重可以是常数或者变量 集合（set）和inside c inside {[lo:hi]} ; c inside {[$:4],[20:$]} //可以使用$取位宽范围内的最大或者最
verilog产生随机数序列_「好设计论文」一种基于热噪声振荡器的高速真随机数设计...
weixin_28953877的博客
12-31 509
摘要：分析和设计了一种基于振荡器的真随机数发生器，电阻热噪声作低频时钟的噪声源。利用两个独立工作的高、低频振荡器之间的相对关系采样噪声源，用带有抖动的低频振荡器通过D触发器采样有固定周期的高频振荡器，产生随机数序列。电路采用SMIC 28 nm CMOS工艺设计，完成了版图设计和流片，仿真结果表明，基于热噪声的真随机数产生器输出吞吐率范围为1.8～12 Mb/s，随机数输出满足AIS31真随机数熵...
systemverilog随机化约束
08-21
SystemVerilog中的随机化约束（Randomization Constraints）用于指定随机变量的取值范围，以帮助生成符合特定条件的随机值。通过使用随机化约束，我们可以控制随机值的分布、范围和关系。 以下是SystemVerilog中使用随机化约束的一些常见方式： 1. 约束表达式（Constraint Expression）：使用约束表达式来限制变量的取值范围。例如，可以使用`{min:max}`表示一个整数变量的范围，或者使用`{1'b0, 1'b1}`表示一个二进制变量的取值为0或1。 2. 约束函数（Constraint Function）：使用约束函数来定义复杂的约束条件。例如，可以使用`inside`函数来限制一个变量落在指定范围内，或者使用`unique`函数来确保生成的随机值都是唯一的。 3. 约束属性（Constraint Attribute）：使用约束属性来指定变量的分布特性。例如，可以使用`[normal]`属性来指定一个变量遵循正态分布，或者使用`[uniform]`属性来指定均匀分布。 4. 约束关系（Constraint Relationship）：使用约束关系来描述变量之间的依赖关系。例如，可以使用`->`表示一个变量的取值依赖于另一个变量的取值。 使用这些方法，结合SystemVerilog中的随机化函数（例如`randomize`）和数据类型（例如`rand`），可以有效地生成符合约束条件的随机值。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值