模型检验技术的研究与应用

• 作者: 黄蔚
• 来源期刊: 电子质量
• 关键词: 模型检验 硬件特性 仲裁器
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 产品解决方案
• 页码范围: 20-22
• 页数: 3页
• 分类号: TN701
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0107.2008.02.007

摘要

本文首先介绍模型检验技术的概念,然后详细介绍模型检验技术的组成部分以及利用模型检验技术进行模块验证的流程,并利用总线仲裁的实例进行讲解分析,最后对模型检验技术进行总结和展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄蔚		1	1	1.0	1.0