同济大学学报（自然科学版）2004，Vol.32Issue(8)：1075-1079,5.
基于SystemC描述的嵌入式系统的自动化验证
SystemC-based Automatic Verification Methodology for Embedded Systems
陈燕 1杜玄 2彭澄廉1
作者信息
- 1. 复旦大学,计算机与信息技术系,上海,200433
- 2. 中兴通讯股份有限公司,上海研究所,上海,201203
- 折叠
摘要
关键词
嵌入式系统/SystemC设计语言/验证/面向方面编程/自动化分类
信息技术与安全科学引用本文复制引用
陈燕,杜玄,彭澄廉..基于SystemC描述的嵌入式系统的自动化验证[J].同济大学学报（自然科学版）,2004,32(8):1075-1079,5.
