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
>启动截图
本文档详细介绍了如何在Ubuntu 14.04环境下安装并配置Candence公司的LEC形式验证工具。主要内容包括获取安装源文件、设置环境变量及解决依赖问题等步骤。
2177

被折叠的 条评论
为什么被折叠?



