约束块和随机变量随机模式控制

有些特定场景下,我们可能需要将约束块或者随机变量开启使能或者关闭来构造工程师们想要的激励而不影响其他已经调试过的cases,System verilog有两个task分别对应对约束块和随机变量的开关。

constraint_mode():首先它是内嵌的,不能overridden重载。即可以作为一个task也可以作为一个function。

作为task,它的原型如下

task object[.constraint_identifier]::constraint_mode( bit on_off );

作为function,它的原型如下

function int object.constraint_identifier::constraint_mode();

上面的object就是一般定义了constraint block约束块的对象句柄,一般就是你在system verilog的class类或者相似文件。

Constraint_identifier就是constraint block约束块名字。

如果此处调用没有constraint_identifier这一项那么它会作用到当前文件中定义(object)的所有约束块,当然这种用法仅限于被用作task,如果function这样用会报编译error的。

如果被用作task当实参设为1时当前文件类或者你指定的约束块是可以完成randomize(),否则是不能的,当然默认情况下是打开的,只有你需要构造特殊用力而不影响其他场景用例时可以选择关闭还是开启。

从function的定义我们可以看出它的返回值是一个整型变量,其实只是返回0或者1。当约束块为active状态时(就是能randomize())时返回1,反之返回0。

举个例子吧

class example

 rand unsigned int  aa_bb;  

constraint name_exp { aa_bb > 2 * m; };//constraint block here

endclass

function unsigned int exp_pp( example p );

if ( p.name_exp.constraint_mode() )  

  p.name_exp.constraint_mode(0);//当前约束块被设置为inactive

else

   p.name_exp.constraint_mode(1);

   exp_pp = p.randomize();

endfunction

else分支最后返回了一个p class中变量aa_bb的值作为这个function的返回值。


好了再来讲讲rand_mode()吧

rand_mode()用来控制一个随机变量是否需要随机的开关,在某些异常用例你不需要用到正常用例中对某个随机变量值得约束,而是要给它一个特定值,此刻这个家伙就看起来很帅。

它也既可以用作task,也可以用作function。

作为task,它的原型如下

task object[.random_variable]::rand_mode( bit on_off );

作为function,它的原型如下

function int object.random_variable::rand_mode();

上面的object就是一般定义了随机变量的的对象句柄,random_variable就是里面的随机变量或者被调用的子类

作为task如果此处调用没有random_variable这一项那么它会作用到当前文件中定义(object)的随机变量或者被调用的子类,同上,如果function这样用会报编译error的。


这里有以下几点需要注意

1. 如果变量是unpaked数组,那么你可以利用index选择性的开关其中一员的随机性,比如

rand logic[16:0]  aa[19:0];

..aa[i][i].rand_mode(bit on_off)。如果没有指定具体哪一个就会对所有元素起作用。

注:维数在变量名声明之前的为paked array,维数在变量名声明之后的为unpaked arrary

bit [7:0]aa; // packed array of scalar bit types

real bb [7:0]; // unpacked array of real types

2.如果变量是unpaked structure,可以对其中某一元素开关随机性

如:

class packet;

typedef struct {//此处upaked struct不能使用randc

randc int addr = 1 + constant;//但是uppaked struct的元素可以定义为rand和randc

int crc;

rand byte data [] = {1,2,3,4};

} header;

rand header h1;

endclass

packet p1=new;

P1.h1.data.rand_mode(0);//此处的data.

如果没有指定就对所有元素起作用。

3.如果随机变量是一个对象句柄,则只更改该变量的随机模式,而不更改该对象中随机变量的随机模式。

    作为function的定义它的返回值是一个整型变量,也其实只是返回0或者1。当约束块为active状态时(就是能randomize())时返回1,反之返回0。

比如class exp;

  rand int aa_v, bb_v;

  ...

 endclass

int cc;exp exp_a = new;

// Turn off all variables in object

exp_a.rand_mode(0);

// Enable aa_v

exp_a.aa_v.rand_mode(1);//task here

cc = exp_a.bb_v.rand_mode();//function here.

System verilog本质在于随机化,更好的控制随机化能会为你的场景构造起到事半功倍的效果。今天就到这里吧,下次有时间会提供枚举类型在环境可重用性和可读性方面的应用讲解。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,558评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,002评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 159,036评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,024评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,144评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,255评论 1 292
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,295评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,068评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,478评论 1 305
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,789评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,965评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,649评论 4 336
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,267评论 3 318
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,982评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,223评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,800评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,847评论 2 351

推荐阅读更多精彩内容