[SV] 内嵌约束中local::的用法

最新推荐文章于 2024-04-14 12:41:13 发布
最新推荐文章于 2024-04-14 12:41:13 发布
阅读量4.9k 收藏 51
点赞数 12
分类专栏： SV
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/lbt_dvshare/article/details/107280692
版权

在使用内嵌约束randomize（）with {CONSTRAINT}时，约束体中的变量名的查找顺序默认是从被随机化对象开始查找，

但如果调用randomize（）函数局部域中也有同名变量，那就需要使用local::来显式声明该变量来源于外部函数，而非被随机化的对象（在约束中也可用this/super来索引这些变量）

local::只表示“域”，并不指代某个句柄，所以也可以用 local::this 表示调用randomize()函数的对象句柄。

lbt_dvshare
关注
  • 12
    点赞
  • 踩
  • 51
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
SV学习笔记（11）
yuyi111c的博客
04-01 1817
学习目标： SV绿皮书第六章：随机化 学习内容： 1.SV的约束是双向的，它会同时计算所有的随机变量的约束 增加或者删除任一变量的约束都会直接或者间接影响所有相关变量的值的选取 2.高效地使用位提取的约束 rand bit [31:0]addr; constraint near_page_boundry{ addr[11:0] inside {[0:20],[4075:4095]}; } 3.关系操作和双向约束 class Imp2; rand bit x; //0或1 r
SystemVerilog笔记
weixin_44381276的博客
08-16 1230
SV笔记 数据类型 四值逻辑类型：integer、logic、reg、net-type（例如wire、tri） 二值逻辑类型：byte、short int、int、long int、bit 有符号类型：byte、short int、int、long int、integer 无符号类型：bit、logic、reg、net-type（例如wire、tri） 定宽数组：int a[x]; a[] = '{ }; 动态数组：int a[]; a = new[x]; a[x] = '{ }; 队列： i
local::的理解——SV,systemverilog
SummerXRT的博客
05-22 5813
local::只表示“域”，并不指代某个句柄，所以也可以用 local::this 表示调用randomize()函数的对象句柄。 在使用内嵌约束randomize（）with {CONSTRAINT}时，在约束体{CONSTRAINT}中的变量名的查找顺序默认是从被随机化对象开始查找。如果调用randomize（）函数局部域中也有同名变量，那就需要使用local::来显式声明该变量来源于外部函数，而非被随机化的对象。 如下代码解释： class mcdf int [31:0] data = 'h0
SV复习小结（三）local & soft
cxis0的博客
12-25 827
local soft
SV绿皮书提炼笔记（五）
weixin_53833185的博客
07-30 2325
面向对象编程基础
【SV中local::的用法】
借问众神明的博客
02-16 1920
在使用内嵌约束randomize（）with {CONSTRAINT}时，约束体中的变量名的查找顺序默认是从被随机化对象开始查找， 但如果调用randomize（）函数局部域中也有同名变量，那就需要使用local::来显式声明该变量来源于外部函数，而非被随机化的对象（在约束中也可用this/super来索引这些变量） 具体代码示例如下： class chnl_generator; rand int pkt_id = -1; rand int ch_id = -1; rand int
SV中local vs protected
qq_37573794的博客
06-03 2472
区别 local — 限制只在本class中使用，子类以及外部类中不可调用 protected — 限制只在本class以及子类中使用，外部类不可调用 举例 protected demo class father_protected; protected logic [7:0] sig_prote = 'haa; function display(); $display("father_protected sig_prote = 0x%0h",sig_prote); endfunc.
内嵌约束块randomize （） with和soft软约束
weixin_46817835的博客
06-17 3889
在SV中允许使用randomize（）with来增加一些额外的约束，这和在类里增加约束是等效的。但同时要注意的是内部约束和外部约束之间应该是协调，如果出现相互违背的情况，那么随机数值的求解将会失败。要注意的是在SV中，只要一个约束不满足条件，那么表明整个随机数值求解是失败的，那么编译系统将会报错。.........
systemverilog中静态变量、local和protected的区别、多态virtual的理解及代码演示
小白蒋-材料转行芯片验证
07-22 8661
作者：小白蒋 所有的努力都是为了做个小白，单纯且快乐~ 本文内容1、静态变量static的含义2、local和protected的区别3、多态、virtual的理解及代码演示 1、静态变量static的含义 关键词：static，代码static int count=0;就是把count变成实参，可以全局调用；跟形参不一样，不会用完就释放掉； 2、local和protected的区别 （1）local就是本地变量，代码local int DONE，比如在父类中定义DONE，那么在子类中就不能调用DONE；
[SV]local和protected的区别
元直的博客
04-03 1149
local和protected的区别
Tomcat(1)-基础
Blog of Stevenux
01-26 752
一.JAVA 介绍 1.1 java 介绍 Java 是由 Sun Microsystems 公司于 1995 年 5 月推出的高级程序设计语言。 Java 可运行于多个平台，如 Windows, Mac OS，及其他多种 UNIX 版本的系统。 Java 原指的是印度尼西亚的爪哇岛，人口众多，盛产咖啡、橡胶等。Java 语言 最早是在 1991 年开始设计的，期初叫 Oak 项目，它初衷是跑在不...
数字ic验证工程师面试题|ic验证面试常问88道
weixin_52955333的博客
10-28 3789
给大家列了88道数字ic验证工程师常问面试题，帮助大家做面试准备，希望大家可以过五关斩六将，成功拿到满意的offer!
数字验证面试笔试
最新发布
weixin_61103637的博客
04-14 722
例如：以上就是今天要讲的内容，本文仅仅简单介绍了pandas的使用，而pandas提供了大量能使我们快速便捷地处理数据的函数和方法。
【SV练习】 MCDF实验3
托马斯的博客
06-23 1069
MCDT实验三学习
[SV] local const protected
lbt_dvshare的博客
10-26 1752
local：只允许类本身访问，需经过类本身的成员进行访问； protected：允许类本身和它的扩展类访问； const：分为两种：全局性、instance性的 其中， 全局性const：在声明时即赋值，之后不可修改； instace性const：只使用const进行声明，赋值发生在new()中 ...
SV精通3-②类的成员
changshengqiu的博客
02-17 603
概述 类是成员变量和成员方法的载体。 一个类的功能应该尽可能的简单，不应该承担不符合它的职责。这在设计模式中为单一职责原则。（SPR：SingleResponsibilityPrinciple） 类作为载体，将其属性和方法封装在内部，不会直接将成员变量暴露在外部。通过protected和local关键词来设置成员变量和方法的外部权限。封装属性在设计模式中为开放封闭原则（OCP：OpenClosedPrinciple） *使用了local和protected修饰的成...
SV_11_随机约束
ICJJ的博客
03-03 1268
摘要：约束驱动的测试生产允许用户为功能验证自动生成测试，随机测试比传统的、直接的测试方法更有效，随机测试可以找到直接测试难以覆盖的内容。SV允许用户声明随机约束，由求解器处理约束，生产满足约束的随机值。 verilog使用$random产生随机整数，默认32位； SV添加了rand变量、randc变量、randomize()方法以及randomize_mode()的随机开关等。 1. 随...
SV中域索引和实例索引（::和.）
m0_72571331的博客
11-30 878
SV中域索引和实例索引（::和.）
SV中的随机化
ahr7882的博客
04-13 1683
SV搭建testbench的关键概念：CRT(constraint random test)，测试集的随机化。 由于对象class由数据和操作组成，所以对数据的随机化一般放在一个class内。(对环境或环境的配置也可以反映在配置参数的随机化上) 一个constraint包括两部分：rand/randc变量声明，constraint约束块。其中randc会在重复之前，周期性取值，con...
protected sv
08-29
引用中提到了在一个类中定义了两个protected变量：father_protected sig_prote和son_protected sig_prote。protected关键字是用来限制只在本类以及子类中使用，外部类无法调用。中给出的代码示例展示了如何使用protected关键字来定义protected变量和类。在这个示例中，father_protected和son_protected都是类，son_protected继承自father_protected。在father_protected类中，定义了一个protected logic [7:0] sig_prote变量，并且在display()函数中进行了打印。在son_protected类中，重写了display()函数，并且修改了sig_prote的值。在tb模块中，创建了father_protected对象f_prote和son_protected对象s_prote，并且调用了它们各自的display()函数。通过运行这段代码，可以看到father_protected sig_prote的值是0xaa，son_protected sig_prote的值是0xbb。 在封装类时，建议不要使用local关键字，因为它会限制变量只能在本类中使用。而在继承类时，为了方便以后访问更多的变量，建议子类继承父类时尽量避免出现同名变量。 因此，protected关键字在SystemVerilog中用于限制只能在本类及子类中使用的变量。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* *2* [SV中local vs protected](https://blog.csdn.net/qq_37573794/article/details/117530044)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_1"}}] [.reference_item style="max-width: 50%"] - *3* [SV 类的虚方法 多态](https://blog.csdn.net/Bunny9__/article/details/126166170)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_1"}}] [.reference_item style="max-width: 50%"] [ .reference_list ]
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值