【文件属性】:
文件名称:随机化方法-微积分入门Ⅰ 一元微积分 -(日)小平邦彦
文件大小:10.44MB
文件格式:PDF
更新时间:2021-07-10 01:06:02
System Verilog 中文
第十二章 随机约束
主题
SystemVerilog 3.1a 语言参考手册
第十二章 随机约束
主题
主题
主题 描述
12.1 简介(一般信息) 约束驱动的测试生成方法使得用户能够自动地为功能验证
产生测试。随机测试比一个传统的、直接的测试方法更有效
率。通过指定约束,我们可以很容易地为难于到达的边界条
件产生测试。SystemVerilog 允许用户以一种紧凑、明了
的方式指定约束。约束接下来会被一个求解器处理,这个求
解器用来产生满足约束的随机值。
典型情况下,随机约束在一个面向对象的数据抽象之上指
定。它将需要被随机化的数据建模成包含随机变量和用户定
义约束的对象。约束确定了可以被赋值给随机变量的有效
值。对象很适合于表示复杂的集合数据类型以及诸如以太网
包之类的协议。
第 12.2 节提供了基于对象的随机化和约束编程的概述。本
章余下的部分提供了有关随机变量、约束块、以及处理它们
的机制的详细信息。
12.2 概述 本章介绍了在对象内产生随机激励的基本概念和用法。
SystemVerilog 使用一个面向对象的方法来为对象的成员
变量赋随机值,它以用户定义的约束为准。例如:
12.3 随机变量 类变量可以使用 rand和 randc类型修饰符关键字声明成随
机的。
在一个类中声明随机变量的语法如下:
12.4 约束块 随机变量的值通过由约束块声明的约束表达式来确定。像任
务、函数和变量一样,随机块是类的成员。在一个类中,约
束块的名字必须是唯一的。
声明约束块的语法如下:
12.5 随机化方法