system verilog基础知识总结与复习（随机化）

一、为什么要引入随机化？

        随着验证规模越来越大，定向测试已经不能满足我们所需的测试需求，而随机化可以帮助我们生成更多激励用于测试，更重要的是随机化测试可以检测出一些我们都没有想到的缺陷。

二、随机化的种类及约束

        1、布尔表达式

        class TEST ;

                rand bit [31:0] a ;

                rand bit [63:0] b;

                rand bit [63:0] c;            

                constraint c_test{ a<b;

                                   b<c;

                                   b == 100;

                 }

        endclass

        注意三点： ①constraint中所有想要begin end的地方都用{}代替②约束力不能用“=”赋值，只能用关系运算符“==”给随机变量赋一个固定的值。③不支持 a<b<c这种写法，会先判断a<b，最终c的值是大于0或者大于1，并没有收到约束。

        2、权重分布    

        class TEST ;

                rand bit [31:0] a ;

                rand bit [63:0] b;

                rand bit [63:0] c;            

                constraint c_test{