标签:candence lec formal 形式验证 ubuntu
0.lec为Candence公司推出的形式验证工具,由于要学习IC后端的知识,打算在ubuntu14.04下安装一套后端工具,建立后端环境,通过练习完成后端知识的入门,安装过程记录下来,留作以后查看,如果对您有一些帮助,倍感欣慰!
1.安装源文件
>lec10.1:http://pan.baidu.com/s/1o6wqu5G
3.安装与破解
>解压lec_10.1.tgz到安装目录
>设置环境如下:
#add for lec export LEC_HOME=/usr/cad/lec_10.1 export PATH=$LEC_HOME/tools.lnx86/bin:$PATH export CDS_LIC_FILE=$LEC_HOME/license/license_lec.dat
>由于lec用到了共享库libtermcap.so.2, 而ubuntu14.04已经不支持该低版本库,可以参考下面帖子解决
http://blog.sina.com.cn/s/blog_87bbe37e01019d3f.html
>启动截图
标签:candence lec formal 形式验证 ubuntu
原文地址:http://blog.csdn.net/steven_yan_2014/article/details/43601811