验证环境

作品数：75被引量：125H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：周勇杨志斌查鲲鹏李峰谢军更多>>
相关机构：西安电子科技大学上海交通大学中国航空无线电电子研究所国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国防基础科研计划国家科技重大专项国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向系统级芯片的串行外设接口模块设计被引量：4
《计算机应用》2015年第12期3607-3610,共4页杨晓 李战明 
针对传统串行外设接口(SPI)模块设计不灵活、不利于扩展、不支持乱序访问的缺陷,设计了一种面向系统级芯片(So C)的SPI模块。首先,根据SPI通信协议,设计SPI基本架构;其次,根据SPI架构,设计相应输入输出状态机(FSM)、扩展端口及支持乱序...
关键词：系统级芯片 串行外设接口 高级可扩展接口 验证环境 代码覆盖率 
使用SystemC进行基于事务的验证被引量：3
《计算机应用》2006年第3期708-710,共3页牛振兴 杜旭 
分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。
关键词：基于事务的验证方法 SystemC语言 验证环境 
基于CDM的嵌入式系统描述与模拟验证环境被引量：2
《计算机应用》2005年第2期426-429,共4页吕钊 赵敏媛 顾君忠 
上海市科学技术发展基金资助项目(3506)
从嵌入式系统的设计需求出发,提出采用CDM构造嵌入式系统的描述模型,然后根据相关规则将需求文档转换为CDM描述模型、把CDM描述模型转换成SystemC代码,以完成嵌入式系统的模拟验证的方法和实验环境。最后介绍了该方法的一个应用实例。
关键词：嵌入式系统 系统描述 CDM模型 模拟验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部