|
| 形式验证工具可分为三大类：等效性检验、模型检验和理论验证。理论验证是可用的形式验证技术中最先进的，但仍须进一步研究。 |
|
 |
|
| 本文将介绍，如何在专业的验证软件Certify 的帮助下，实现快速有效的用多片FPGA 来进行ASIC 设计验证。 |
|
|
|
| 随着IC 设计规模的增长，几乎所有的设计单位都已发现：开发过程最大的瓶颈已从过去的IC 设计和实现变成了现在的验证过程。 |
|
|
|
| 采用形式验证方法可以更早地发现设计中的缺陷，具有100%的覆盖率，能提高验证质量并降低设计周期和研发成本。通过结合断言验证和仿真验证等方法，可以实现多种方法的优势互补，提高效率。 |
|
|
|
| 许多IC开发案的验证经理都面临着缺乏必要资源，但却必须缩短验证时间与降低验证成本的压力。而可重复使用的验证组件与基本的验证重复使用方法论，对增进验证生产力将大有帮助。 |
|
|
|
| 从IP开发和集成两个方面入手，重点阐述了IP的基本特征，IP的设计流程及设计中的关键技术，IP集成的一般考虑及集成的关键技术，IP模块的评估与选择等，并探讨了国内IP技术发展的一些思路。 |
|
|
|
| 典型的系统级芯片(SoC)设计不仅需要获取或开发IP，而且还需要完整的系统级验证和后端设计。现在，越来越多的SoC 设计师通过设计仿真来执行功能验证，以避免代价高昂的ASIC 重复投片。 |
|
|
|
| 随着芯片集成度和规模的不断提高，在设计的各个层次上所需运行的验证也相应增多，DRC 和版图与电路图(LVS)的对比检查变得越来越重要，它对于消除错误、 |
|
|
|
| 目前，因特网应用正呈现爆炸式增长的趋势，数据和语音合并势在必行，网络芯片的设计验证已经成为加快网络芯片上市的主要瓶颈。为了实现完全测试， |
|
|
