基于SystemC描述的嵌入式系统的自动化验证

• 作者: 彭澄廉 杜玄 陈燕
• 来源期刊: 同济大学学报(自然科学版)
• 学科: 工学
• 关键词: 嵌入式系统 SystemC设计语言 验证 面向方面编程 自动化
• 年，卷（期）: 2004,（8）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 1075-1079
• 页数: 5页
• 分类号: TP316
• 字数: 3833字
• 语种: 中文
• DOI: 10.3321/j.issn:0253-374X.2004.08.021

摘要

基于SystemC的嵌入式系统描述,提出了一种全新的自动化验证方法.该方法采用面向方面编程技术、分离和封装测试代码,结合自动化测试框架,完成对系统的自动化验证.此验证方法对被测系统无扰动,能适应测试要求的灵活变化,对嵌入式系统模型可自动、重复地测试,能够满足系统级模型快速验证和评估的要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭澄廉	复旦大学计算机与信息技术系	52	804	14.0	27.0
2	陈燕	复旦大学计算机与信息技术系	52	413	10.0	19.0
3	杜玄	中兴通讯股份有限公司上海研究所	4	9	2.0	3.0