| 集成电路设计验证 | |
| 李光辉; 李晓维; 邵明; 吕涛 | |
| 刊名 | 信息技术快报
 |
| 2004-09-06 | |
| 卷号 | 2期号:9页码:1 |
| 英文摘要 | 设计验证（Design Verification）是集成电路设计中不可或缺的重要组成部分。功能验证是设计验证最基本的内容，用于判别设计规范（Specification）和实现（Implementation）之间是否一致。本文介绍模拟验证、形式验证中的等价性检验（Equivalence Checking）和模型检验（Model Checking），介绍设计验证的基本原理以及我们在设计验证方面的基础研究成果和工程应用经验。 |
| 语种 | 中文 |
| 公开日期 | 2010-03-30 |
| 内容类型 | 期刊论文 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/220]  |
| 专题 | 信息技术快报_2004 |
| 推荐引用方式 GB/T 7714 | 李光辉,李晓维,邵明,等. 集成电路设计验证[J]. 信息技术快报,2004,2(9):1. |
| APA | 李光辉,李晓维,邵明,&吕涛.(2004).集成电路设计验证.信息技术快报,2(9),1. |
| MLA | 李光辉,et al."集成电路设计验证".信息技术快报 2.9(2004):1. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论