1）关键字：extends

2）constraint_mode()

3）soft 约束有冲突的话，不报错，加soft的约束优先级变低，以另一个为准

4）对pre_randomize() 方法的集成

5）rand_mode(0)，关闭某个变量的随机，会保持初始值0.

6）inside关键字

7) constraint -> ，相当于if前置条件

1）关键字：extends

1、子类中对同一个变量的约束要和父类有交集，如果没有交集，会报error

class father;rand bit[10:0] data;constraint c_data{data >=10;data <=30;}
endclassclass son extends father;constraint c_son_data{data >=40;data <=100;}
endclassmodule test;initial beginfather fa;son    so;fa = new;so = new;fa.randomize();so.randomize();$display("canli test");end
endmodule

运行结果：

Error-[CNST-CIF] Constraints inconsistency failure
testbench.sv, 25Constraints are inconsistent and cannot be solved.Please check the inconsistent constraints being printed above and rewrite them.

注意哦，只要有交集就好咯，子类对某个变量的约束不需要是子集哦。

如下所示，父类data范围10-30，子类data范围时29-250，有交集29-30，所以正常随机，随机出来是30.

class father;rand bit[10:0] data;constraint c_data{data >=10;data <=30;}
endclassclass son extends father;constraint c_son_data{data >=29;data <=250;}
endclassmodule test;initial beginfather fa;son    so;fa = new;so = new;fa.randomize();so.randomize();$display("father's data is %d",fa.data);$display("son's data is %d",so.data);end
endmodule

运行结果

father's data is   14
son's data is   30

2）constraint_mode()

1、constraint_mode(0)，关闭约束，也就是说，本来约束是10-30之间，关闭之后，就是0到2的10次方-1.

2、如果在子类中把父类的c_data约束关闭（constraint_mode(0)），在子类和父类对同一个变量有冲突约束的情况下，会有什么效果呢?

class father;rand bit[10:0] data;constraint c_data{data >=10;data <=30;}
endclassclass son extends father;constraint c_son_data{data >=60;data <=250;}
endclassmodule test;initial beginfather fa;son    so;fa = new;so = new;fa.c_data.constraint_mode(0);fa.randomize();so.randomize();$display("father's data is %d",fa.data);$display("son's data is %d",so.data);end
endmodule

运行结果：父类随意随机，子类还是会和父类的约束冲突

Error-[CNST-CIF] Constraints inconsistency failure
testbench.sv, 28Constraints are inconsistent and cannot be solved.Please check the inconsistent constraints being printed above and rewrite them.father's data is  689
son's data is    0

父类和子类都加上constraint_mode(0)，此时就不会报错啦，father和son都各自随意随机

    fa.c_data.constraint_mode(0);so.c_son_data.constraint_mode(0);

运行结果

father's data is  689
son's data is   30

3）soft 约束有冲突的话，不报错，加soft的约束优先级变低，以另一个为准

1、如二所说，如果子类非要和父类的范围冲突要怎么办呢？

答案是使用soft关键字哦。如果父类中的约束中有soft，则子类是可以和父类中的约束有冲突的，此时会以子类的约束范围为准。

class father;rand bit[10:0] data;constraint c_data{soft data >=10;soft data <=30;}
endclassclass son extends father;constraint c_son_data{data >=60;data <=250;}
endclassmodule test;initial beginfather fa;son    so;fa = new;so = new;fa.randomize();so.randomize();$display("father's data is %d",fa.data);$display("son's data is %d",so.data);end
endmodule

运行结果

father's data is   19
son's data is  247

4）对pre_randomize() 方法的集成

在子类的pre_randomize方法中，若是没有调用super.pre_randomize()，则子类不会集成父类的pre_randomize方法。

class father;function void pre_randomize();$display("father's pre_randomize");endfunctionendclassclass son extends father;function void pre_randomize();$display("son's pre_randomize");endfunctionendclassmodule test;initial beginfather fa;son    so;fa = new;so = new;fa.randomize();so.randomize();end
endmodule

运行结果

father's pre_randomize
son's pre_randomize

5）调用了super.pre_randomize():

class father;function void pre_randomize();$display("father's pre_randomize");endfunctionendclassclass son extends father;function void pre_randomize();super.pre_randomize();$display("son's pre_randomize");endfunctionendclassmodule test;initial beginfather fa;son    so;fa = new;so = new;fa.randomize();so.randomize();end
endmodule

运行结果

father's pre_randomize
father's pre_randomize
son's pre_randomize

5）rand_mode(0)，关闭某个变量的随机，会保持初始值0.

class father;function void pre_randomize();$display("father's pre_randomize");endfunctionrand bit[10:0] data;constraint c_data{data inside {1,100};}endclassmodule test;initial beginfather fa;fa = new;afa.data.rand_mode(0);fa.randomize();$display("fa.data is %0d",fa.data);end
endmodule

运行结果

fa.data is 0

6）inside关键字

    data inside {1,100}; // 在1或者100中随机，只会随机出来两个值，1或者100data inside {[1:100]}; //在1到100之间随机

7) constraint -> ，相当于if前置条件

(mode==0) -> range inside {[1:100]}; //如果mode=0，range在1-100中随机
(mode==1) -> range inside {[500:600]}; //如果mode=1，range在500-600中随机

// Code your testbench here
// or browse Examplesclass mo;rand bit mode;rand bit[10:0] range;constraint c_range{(mode==0) -> range inside {[1:100]};(mode==1) -> range inside {[500:600]};}endclassmodule test;initial beginmo c = new;c.mode.rand_mode(0);c.mode = 1;c.randomize();$display("mode is %0d, the range is %0d",c.mode,c.range);end
endmodule

StstemVerilog中的约束 constraint相关推荐

SQL Server中有关约束（constraint）的一些细节
本文出处:http://www.cnblogs.com/wy123/p/7350265.html (保留出处并非什么原创作品权利,本人拙作还远远达不到,仅仅是为了链接到原文,因为后续对可能存在的一些 ...
Oracle 约束 Constraint
约束简介约束用于确保数据库数据满足特定的商业逻辑或者企业规则,如果定义了约束,并且数据不符合约束,那么DML操作(INSERT.UPDATE.DELETE)将不能成功执行.约束包括NOT NULL ...
MySQL查看表中的约束
在 MySQL 中可以使用 SHOW CREATE TABLE 语句来查看表中的约束. 查看数据表中的约束语法格式如下: SHOW CREATE TABLE <数据表名>; [实例]创建数 ...
mysql中如何删除表中int约束,MySQL中的约束,添加约束,删除约束,以及其他修饰
一.NOT NULL(非空约束) 添加非空约束 1)建表时直接添加 CREATE TABLE t_user(user_id INT(10) NOT NULL); 2)通过ALTER 语句 ALTER ...
SQL Server中的约束：SQL NOT NULL，UNIQUE和SQL PRIMARY KEY
This article explains the SQL NOT NULL, Unique and SQL Primary Key constraints in SQL Server with ex ...
创建和使用约束Constraint
约束(Constraint)是Microsoft SQL Server 提供的自动保持数据库完整性的一种方法,定义了可输入表或表的单个列中的数据的限制条件(有关数据完整性的介绍请参见第9 章).在SQ ...
SQL基础--gt; 约束(CONSTRAINT)
--============================= --SQL基础--> 约束(CONSTRAINT) --============================= 一.几类数据完 ...
一、TCL事务控制语言二、MySQL中的约束三、多表查询（重点）四、用户的创建和授权五、MySQL中的索引...
一.TCL事务控制语言 ###<1>事务的概念事务是访问并可能更新数据库中各种数据项的执行单元. 事务是一条SQL语句,一组SQL语句,或者整个程序. 事务是恢复和并发控制的基本单位. ...
【自然语言处理】【文本生成】Transformers中使用约束Beam Search指导文本生成
Transformers中使用约束Beam Search指导文本生成原文地址:https://huggingface.co/blog/constrained-beam-search 相关博客 [自然 ...

StstemVerilog中的约束 constraint

1）关键字：extends

2）constraint_mode()

3）soft 约束有冲突的话，不报错，加soft的约束优先级变低，以另一个为准

4）对pre_randomize() 方法的集成

5）rand_mode(0)，关闭某个变量的随机，会保持初始值0.

6）inside关键字

7) constraint -> ，相当于if前置条件

StstemVerilog中的约束 constraint相关推荐

最新文章

热门文章