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