互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

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


□ 陈 燕 杜 玄 彭澄廉

  摘要:基于SystgrC的嵌入式系统描述,提出了一种全新的自动化验证方法.该方法采用面向方面编程技术、分离和封装测试代码,结合自动化测试框架,完成对系统的自动化验证.此验证方法对被测系统无扰动,能适应测试要求的灵活变化,对嵌入式系统模型可自动、重复地测试,能够满足系统级模型快速验证和评估的要求.
  关键词:嵌入式系统;SystemC设计语言;验证;面向方面编程;自动化
  中图分类号:,TP316
  文献标识码:A
  文章编号:0253—374X(2004)08—1075—05

 未安装PDF浏览器用户请先下载安装
原版页码:1075,1076,1077,1078,1079原版全文......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《同济大学学报(自然科学版)》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017