片上系统的模型检验

• 作者: 郭建
• 来源期刊: 现代电子技术
• 关键词: 片上系统 形式化验证 模型检验 属性描述语言
• 年，卷（期）: 2005,（14）
• 所属期刊栏目: 测试·封装·材料
• 页码范围: 95-97
• 页数: 3页
• 分类号: TP27
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2005.14.036

摘要

片上系统(SoC)的验证是一个比较复杂的问题,仅靠模拟仿真无法保证SoC设计的正确.形式化方法是利用数学推理的方法来证明其正确,是对SoC设计进行验证的一条重要途径.模型检验技术是一种完全自动化的形式化方法,针对模型检验技术,讨论了在SoC验证中的应用,指出在SoC设计中,只有把模拟仿真与形式化、半形式化的方法结合起来,才能更好的对SoC进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭建	西安邮电学院计算机系	9	48	4.0	6.0