| 基于SystemC描述的嵌入式系统的自动化验证 |
| |
| 引用本文： | 陈燕,杜玄,彭澄廉. 基于SystemC描述的嵌入式系统的自动化验证[J]. 同济大学学报(自然科学版), 2004, 32(8): 1075-1079 |
| |
| 作者姓名： | 陈燕 杜玄 彭澄廉 |
| |
| 作者单位： | 1. 复旦大学,计算机与信息技术系,上海,200433
2. 中兴通讯股份有限公司,上海研究所,上海,201203 |
| |
| 摘 要： | 基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .
|
| 关 键 词： | 嵌入式系统 SystemC设计语言 验证 面向方面编程 自动化 |
| 文章编号： | 0253-374X(2004)08-1075-05 |
SystemC-based Automatic Verification Methodology for Embedded Systems |
| |
| CHEN Yan ,DU Xuan ,PENG Cheng-lian. SystemC-based Automatic Verification Methodology for Embedded Systems[J]. Journal of Tongji University(Natural Science), 2004, 32(8): 1075-1079 |
| |
| Authors: | CHEN Yan DU Xuan PENG Cheng-lian |
| |
| Affiliation: | CHEN Yan 1,DU Xuan 2,PENG Cheng-lian 1 |
| |
| Abstract: | This paper presents a novel verification methodology for embedded systems which are described in SystemC language.This method applies aspect-oriented programming technique to allow a highly separation and modular of test codes.It is also integrated with automated testing framework to support an automatic verification procedure.The key advantages of this method are no interference to the system under test and great flexibility to meet different verification requirements.Using our automatic verification methodology,embedded systems' models can be verified quickly and repeatedly for system-level verification and assessment purposes. |
| |
| Keywords: | embedded systems SystemC verification aspect-oriented programming automation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
