集成电路形式化验证方法研究

• 作者: 王彦本
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 形式化验证 视觉识别系统 乘法器
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 电子·电路
• 页码范围: 4-6,11
• 页数: 4页
• 分类号: TN407
• 字数: 3052字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2008.08.002

摘要

文中给出了形式化验证的基本理论,介绍了VIS综合系统的验证技术和验证流程.以乘法器为实例对组合电路的正确性进行了验证,并与传统仿真结果进行比较,利用自动化验证工具对系统模型的相关属性进行检测和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王彦本	西安邮电学院通信工程系	19	48	4.0	5.0