1、->运算符

expression_a->expression_b其实等效于(!expression_a || expression_b)，systemverilog中利用 || 运算的短路运算功能，即当!expresstion_a=ture（语句expression_a=false）时不执行expression_b。

运用：在constraint中

mode == little -> len <  10;

这个就等效于

if(mode==little){

　　len < 10;

}

即只有mode==little的时候才约束len小于10

2、soft

约束中使用到，修饰为soft的约束，可以被覆盖

如果最初约束是这样的：a == 10;如果后续又约束a == 11;那么会报错，因为这两个约束没法求解。

但是最初约束是这样的：soft a == 10;后续又约束a == 11;那么就不会报错，随机数据时以后续约束 为准，即约束a==11;

最新文章

1. 【原创】Kakfa utils源代码分析(二)
2. ajax asud模板
3. 【001：Tomcat搭建简单文件服务器】
4. Java系列：《Java核心技术 卷一》学习笔记，cchapter11 异常
5. Leetcode#91 Decode Ways
6. (转载)UITableView使用详解
7. gulp edm测试
8. SSH转发机制
9. mysql计算指定的时间TPS
10. [置顶] C语言中各种数据类型的长度 sizeof char, short, int, long, long long
11. [工具技巧] SecureCRT使用技巧 V1.0
12. Oracle的一些简单语句
13. 向日葵连CentOS
14. A bean with that name has already been defined in DataSourceConfiguration$Hikari.class
15. Mac OSX安装启动 zookeeper
16. Leetcod--20. Valid Parentheses(极简洁的括号匹配)
17. AESDK报错AEGP Magic Error的解决
18. 忘记Oracle用户名和密码
19. Python Parameter Passing Note
20. Daubechies Wavelet

热门文章

1. 终-Echart可视化学习（十二）
2. [login] 调用失败 Error: errCode: -404011 cloud function execution error | errMsg: cloud.callFunction:fail requestID , cloud function service error code -501000, error message Environment not found;
3. 包装类integer的常用方法
4. Redis内存分析工具之redis-rdb-tools的安装与使用
5. k8s的应用包管理工具helm的部署和使用
6. 收到西门子发来的UG告知函怎么办？Solidworks盗版被查如何防范？厂商是怎么样查到公司在用盗版，有什么方法可以核实真假？……
7. 《剑指offer》面试题60. n个骰子的点数
8. ProE许可、PTC许可、Creo许可、许可分析、分析许可
9. springcloud 实现简单的 消费者和生产者 模式（Restfule 的风格）
10. web项目报405错误