ubuntu14.04下安装lec10.1过程记录

steven_yan_2014

于 2015-02-07 11:13:58 发布

阅读量1.3k

点赞数

CC 4.0 BY-SA版权

分类专栏： IC工具文章标签： Candence LEC formal 形式验证 ubuntu

本文链接：https://blog.youkuaiyun.com/steven_yan_2014/article/details/43601811

14 篇文章

订阅专栏

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

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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

>启动截图