使用Synopsys VCS使用constraint遇到的一个奇怪问题

实在有点晕乎了，VCS是不是支持implicity contraint,

如下，

AHB_DW == 32 => addr[1:0] == 0;

这个在编译时总报错，说是=>这个操作符用错了地方。

改成if形式的implicity contraint就可以了，这是为何？

转载于:https://www.cnblogs.com/guofu2010/articles/2462301.html

使用Synopsys VCS使用constraint遇到的一个奇怪问题相关推荐

SYNOPSYS VCS Makefile文件编写与研究
SYNOPSYS VCS Makefile文件编写与研究这个Makefile是synopsys提供的模板,看上去非常好用,你只要按部就班提供实际项目的参数就可以了.我们来看这个文件的头部说明: ma ...
Ubuntu18.04 LTS 安装 Synopsys VCS及一些问题
Ubuntu18.04 LTS 安装 Synopsys VCS+Verdi问题解决具体安装内容各位可以参考自 huayangshiboqi 的文章VCS+Verdi 安装及破解过程(Ubuntu), ...
MinGW 和 MSVC 下，使用 FILE 类型的一个奇怪的问题
今天遇到一个奇怪的问题. 开发环境: 1. Eclipse CDT,使用 MinGW 的 gcc 编译器和函数库 2. Visual Studio 2008 问题描述: 在 eclipse cdt 中 ...
java线程未执行完成,java线程测试-一个奇怪的景况-执行未完成直接结束了
java线程测试-一个奇怪的状况-执行未完成直接结束了 import org.junit.Test; /** * 同步线程测试 * @author jview * */ public class te ...
Delphi XE 使用 MySQL 数据库一个奇怪的问题
Delphi XE 使用 MySQL 数据库一个奇怪的问题我用的是自带的 ADO 组件连接 MYSQL ,连接很简单,如下: 1.下载一个 MYSQL 驱动安装上下载地址 2.连接串 Adoc.C ...
dedecms在linux主机下的一个奇怪错误
扬帆blog原创文章,转载请保留原地址:http://www.wesoho.com/article/asp/2874.htm dedecms上传到linux空间后遇到一个问题,所有header转向失效 ...
汇编语言：实验8分析一个奇怪的程序
实验介绍实验8 分析一个奇怪的程序分析下面的程序,在运行前思考:这个程序可以正确返回吗? 运行后再思考:为什么是这种结果? 实验代码 ;实验8 分析一个奇怪的程序 ;分析下面的程序,在运行前思考: ...
一个奇怪的方法解决华为ENSP模拟器路由器启动后命令行一直“#”的问题
一个奇怪的方法解决华为ENSP模拟器路由器启动后命令行一直"#"的问题参考文章: (1)一个奇怪的方法解决华为ENSP模拟器路由器启动后命令行一直"#"的问题 ...
古堡算式福尔摩斯到某古堡探险，看到门上写着一个奇怪的算式： ABCDE * ? = EDCBA
/** 古堡算式福尔摩斯到某古堡探险,看到门上写着一个奇怪的算式:ABCDE * ? = EDCBA他对华生说:"ABCDE应该代表不同的数字,问号也代表某个数字!"华生:&quo ...

使用Synopsys VCS使用constraint遇到的一个奇怪问题

使用Synopsys VCS使用constraint遇到的一个奇怪问题相关推荐

最新文章

热门文章