cadence的confrml 14.1的问题
时间:03-15
整理:3721RD
点击:
cadence的confrml ,也就是逻辑等价性检查工具,lec。
64位centos 6.5系统,
之前装过13.1,用的是之前candence的通用64位patch,
装完后可正常启动运行。
这次装14.1,用之前的patch不管用,显示0 fileschanged。
然后改用pubkey,显示有几个文件被patched了。
但是启动lec和lec_64等可执行程序时,都是报错——
the tool 'lec' does not seem to be avAIlable on the platform 'lnx86' in your system。
但是,看了手册,应该是支持linux86的,而且这个安装包得名字后缀就是linux86的。
看了lec的脚本,确实有这句提示。但是比较复杂,看不大懂,好像是 -r $appexe时会提示此错误,
$appexe有指向一些路径的组合。显然不能乱改。
不知道怎么解决。
64位centos 6.5系统,
之前装过13.1,用的是之前candence的通用64位patch,
装完后可正常启动运行。
这次装14.1,用之前的patch不管用,显示0 fileschanged。
然后改用pubkey,显示有几个文件被patched了。
但是启动lec和lec_64等可执行程序时,都是报错——
the tool 'lec' does not seem to be avAIlable on the platform 'lnx86' in your system。
但是,看了手册,应该是支持linux86的,而且这个安装包得名字后缀就是linux86的。
看了lec的脚本,确实有这句提示。但是比较复杂,看不大懂,好像是 -r $appexe时会提示此错误,
$appexe有指向一些路径的组合。显然不能乱改。
不知道怎么解决。
sudo yum install compat-libtermcap.x86_64 -y
不懂啊!
装完这个库后再启动,还是报一样的错啊。
强,顶,赞。
那就试试lec -64
也不行。
又试验了一下。
似乎pubkey没有把所有的文件都patch掉,只patch了其中8个文件。
此外,这次改在 CFM_ROOT/tools/cfm/64bit 下启动lec, 报错 找不到libcpu-o.so, 这个百度上都搜不到。
另外一个地方(路径忘了)启动,报错 找不到 libmtcp.so,这个倒是搜索到有rpm下载,但是
都是fedora的,也不敢保证centos能用。
算了,这个版本好像问题比较多。安装后doc文件夹自带的known issues and problems 里还说了几个奇怪的bug,
包括license只能用端口号@主机名的用法,然后license里不能有注释#,这都是什么毛病啊。
再等下一个稳定点的版本再试验吧。
那就唔知了,我的系统是rhel 6.6
可能rhel还是比centos的库全一些 ?
要不我也换成这个rhel 6.6 ,或者如果换成 7 会不会太新了?
强,顶,赞。