基于IC设计的验证技术

• 作者: 郑建宏 黄荣志
• 来源期刊: 电子质量
• 关键词: ASIC 验证 Soc 静态时序仿真
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 理论与研究
• 页码范围: 1-4
• 页数: 4页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0107.2006.09.001

摘要

验证是Soc设计最重要的阶段.在将设计交付给生产厂家之前,要想能够找出体系结构上、功能上或者物理实现上的错误只是通过验证.对于众多团队设计而言,验证占到了设计流程的50%至80%.本文主要介绍了功能仿真、静态时序仿真、形式仿真等相关验证技术.