在芯片设计(IC)领域有专门的职位叫做芯片验证工程师，其中的一种方法叫形式验证(Formal Verification)，具体包括等价性检查，模型检查和定理证明。 本章所讲的程序验证方法(不要与软件测试混为一谈)，与芯片行业的形式验证法非常相似。参考芯片行业，随着分工的细化，软件也会有专门的验证工程 ...
分类：
其他好文 时间：
2016-03-24 07:38:11
阅读次数：
168
0.lec为Candence公司推出的形式验证工具,由于要学习IC后端的知识,打算在ubuntu14.04下安装一套后端工具,建立后端环境,通过练习完成后端知识的入门,安装过程记录下来,留作以后查看,如果对您有一些帮助,倍感欣慰!
1.安装源文件
>lec10.1:http://pan.baidu.com/s/1o6wqu5G
3.安装与破解
>解压lec_10.1.tgz到安装目录
>...
分类：
系统相关 时间：
2015-02-07 11:46:23
阅读次数：
185
本文译至：http://sel4.systems/FAQ/ 译者：萝卜
什么是seL4？
seL4是L4微内核家族中最先进的成员，值得注意的是其全面的形式验证，这使它有别于其他任何操作系统。seL4达成这个目标同时不会影响性能。
什么是微内核？
微内核是操作系统（OS）的最小核心。它呈现的是今天通常被认为的操作系统的一个很小的子集。微内核的定义由利特克给出[SOSP'95]：一...
分类：
其他好文 时间：
2014-08-24 11:42:32
阅读次数：
444
