what to randomize?

(1) primary input data <==one data

(2)encapsulated input data <== muti group data

(3)protocol exceptions,errors and violations

(4)delays


overview

1.randomization enables users to automatically  generate random input sitimuls for functional verification

2.systemverilog enable user to specify random constrained (legal) values

3.random costraint should be specified using OOP


Randomization in SV

(1) keyword

rand bit [1:0] y;

randc bit [1:0] y;

(2)simple class with random variables

class BUS

rand bit [15:0] addr;

randc bit [31:0] data;

constraint range1{

addr > 1024;

data<16384;

}

endclass

(3)randomize() function <==启动一个随机约束

if success return 1

if failture  return 0

BUS bus = new();

repeat(50) begin

if(bus.randomize() == 1)

$display(bus.addr.bus.data);

else

$display(“randomization failed”);

end

(4) constrain solver ===> seed

the same seed results in the same random value

(5)constraint blocks

constraint constraint_indentifier {

constraint_statmemts

}

(6)simples expressions

only one relational operator(< <= > >= …)

(7)set membership operator:inside

eg1:   class BUS

rand bit[15:0] addr;

randc bit [31:0] data;

constraint range1{

addr inside {[0:1000],[1024:16384]};

data > 1000;

data < 100000;

}

endclass

eg2:

integer fives[0:3] = {5,10,15,20};

rand integer v;

constraint c3 {v inside fives};

constraint c4 !{v inside fives};

(8)weighted distribution:dist

property1: They are a relational test for test membership

property2: They specify a statistical distribution function for the result

:=  <====the same value in the range  every(可以对一个区间也可以对一个独立的数)

/=  <=====to be equally divided by all values     range_weight/n(对一个区间约束)

cannot be used with a randc

eg:

(9)bidirectional constraints

not procedural but declarative

all active at one time

(10) conditional constraints

implication operator –>  相当于 if..else

(11) unconstrainted

rand bit x ;

rand bit [1:0] y;

the same probability

(12)implication

class imp1;

rand bit x;

rand bit [1:0] y;

constraint c_xy{

(x==0) –> (y==0);

}

endclass

(13)implication and bidirectional constraints

class imp_Bid;

rand bit x;

rand bit [1:0] y;

constraint c_xy{

y > 0;

(x==0) –> (y==0);

}

endclass

(14)solve before

class solvebefore;

rand bit x;

rand bit [1:0] y;

constraint c_xy;

{

(x==0) –> y==0;

solve y before x;

}

(15) interative constraints

allows arrayed variable to be constrained in a parameterized manner using loop variables

class c;

rand bye A[4];

constraint C1

{

foreach(A[i])

A[i] inside{2,4,8,16};

}

constraint C2

{

foreach (A[j])

A[j] > 2*j;

}

endclass

(16) functions in constraints

class B;

rand int x,y;

constraint C{x <= F(y);}

constraint D{y inside{2,4,8};}

endclass

1.functions cannot contain output or ref arguments <===ref 相当于inout

2.functions should be automatic  <===automatic可以立即返回值

3.functions that appear  in constraint cannot modify the constraint <===只是简单调用而已

4.functons shall be called before constraints are solved, and their return values shall be treated as state variables

5.random variables used as function argumets shall establish an implicit variable ordering or priority

(17)in_line constraints ---xx.randomize()with{constraints_statememt}

equivalent to adding an extra constraint to any existing one in effect

(18) disabling  random variables ---rand_mode() <==control a random variable is active or inactive

class packed;

rand integer src,dst;

endclass

int r;

packet packect_a=new;

packet_a.rand_mode(0);

packet_b.src.rand_mode(1);

(19)controlling constraints with constraint_mode() <===control a constraints is active or inactive

class packet;

rand interger src,dst;

constraint filter{src>2*dst;}

endclass

function integer toggle_rand(packet p);

if(p.filter.constraint_mode() ==1 )

p.filter.costraint_mode(0);

else

p.filter.constraint_mode(1);

toggle_rand = p.randomize();

endfunction

总结:constraints主要用于transaction中,

systemverilog(3)之Randomize的更多相关文章

  1. [转载]转一篇Systemverilog的一个牛人总结

    原文地址:转一篇Systemverilog的一个牛人总结作者:dreamylife Systemverilog 数据类型 l       合并数组和非合并数组 1)合并数组: 存储方式是连续的,中间没 ...

  2. SystemVerilog基本语法总结(上)

    SystemVerilog基本语法总结(上) 在总结SV的语法之前,先分享一些关于SV的笔试题目,这样更显得具有针对性的总结. a. 验证中,代码覆盖率是指(衡量哪些设计代码在激活触发,而哪一些则一直 ...

  3. VBA使用的Randomize和DoEvents

    Randomize private function getInt() dim n,m as integer Randomize n=1 m=3 getInt=Int((m+1-n)*rnd + n) ...

  4. SystemVerilog的历史

    随着软件的功能需求越来越复杂,C语言不足以解决现有的问题,于是C++被发明了:C++的指针漫天飞,对内存的处理过于复杂,于是Java被发明了:芯片的功能不断地扩大,Verilog不足以应对日益复杂的芯 ...

  5. Randomize select algorithm 随机选择算法

    从一个序列里面选择第k大的数在没有学习算法导论之前我想最通用的想法是给这个数组排序,然后按照排序结果返回第k大的数值.如果使用排序方法来做的话时间复杂度肯定至少为O(nlgn). 问题是从序列中选择第 ...

  6. vim中systemverilog的高亮显示

    vim中systemverilog的高亮显示 Linux中的vim显示systemverilog语法高亮 windows中的gvim显示systemverilog语法高亮 Linux系统 查看打开vi ...

  7. SystemVerilog搭建验证平台使用DPI时遇到的问题及解决方案

    本文目的在于分享一下把DPI稿能用了的过程,主要说一下平台其他部分搭建好之后,在完成DPI相关工作阶段遇到的问题,以及解决的办法. 工作环境:win10 64bit, Questasim 10.1b ...

  8. SystemVerilog语言简介(三)

    15. 强制类型转换 Verilog不能将一个值强制转换成不同的数据类型.SystemVerilog通过使用'操作符提供了数据类型的强制转换功能.这种强制转换可以转换成任意类型,包括用户定义的类型.例 ...

  9. SystemVerilog语言简介(二)

    6. 用户定义的类型 Verilog不允许用户定义新的数据类型.SystemVerilog通过使用typedef提供了一种方法来定义新的数据类型,这一点与C语言类似.用户定义的类型可以与其它数据类型一 ...

随机推荐

  1. JSP && Servlet | 错误统一处理

    对404错误和500错误处理: 在WebContent文件下新建404.jsp 和 500.jsp 显示错误时弹出的信息 <%@ page language="java" c ...

  2. springMVC-上传图片

    SpringMVC文件上传与下载 上传图片 配置多媒体文件解析器 配置虚拟目录 在tomcat上配置图片虚拟目录,在tomcat下conf/server.xml中添加: <Context doc ...

  3. libev 使用

    观察器 IO ev_io_init (ev_io *, callback, int fd, int events) ev_io_set (ev_io *, int fd, int events) I/ ...

  4. Ajax基础介绍

      什么是Ajax 首先来看一下什么是Ajax,英语全称Asynchronous JavaScript And XML,翻译成中文就是异步的JavaScript和XML.也被称为异步无刷新技术 先来解 ...

  5. C/C++程序员应聘常见面试题深入剖析(1)

    摘自:http://blog.csdn.net/zhoudengqing 1.引言 本文的写作目的并不在于提供C/C++程序员求职面试指导,而旨在从技术上分析面试题的内涵.文中的大多数面试题来自各大论 ...

  6. 海德汉S3078长度计

    手头有一款海德汉S3078的增量式长度计. 图三为长度计引出线缆的针脚编号,其中,Up和传感器Up短路,0V与传感器0V短路,其他为输出信号线缆.时序如图: Ua1和Ua2两个信号的相位,可以得出长度 ...

  7. 对javascript变量提升跟函数提升的理解

    在写javascript代码的时候,经常会碰到一些奇怪的问题,例如: console.log(typeof hello); var hello = 123;//变量 function hello(){ ...

  8. 终端工具Xmanager使用技巧

    1. 新建绘画使用终端连接服务器 2. 设置终端类型和编码 3. 设置终端外观,包括字体颜色等等 4. 设置默认上传路径和下载路径

  9. functools模块中的函数

    Python自带的functools模块提供了一些常用的高阶函数,也就是用于处理其它函数的特殊函数.换言之,就是能使用该模块对可调用对象进行处理.functools模块函数概览functools.cm ...

  10. windows命令行快速启动软件

    windows桌面上太多的应用程序快捷方式很影响美观,于是寻思使用类似Linux系统中命令行的方式来启动软件. 只需要3步: 1.建立一个目录A,用来存放快捷方式.比如,建立D:\path.并复制快捷 ...