鲍华
- 作品数：4 被引量：10H指数：2
- 供职机构：中国电子科技集团公司第三十八研究所更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种基于网络传输的处理器协同验证平台及其测试方法
- 本发明公开了一种基于网络传输的处理器协同验证平台及其测试方法，基于网络传输的处理器协同验证平台由硬件实现程序、软件实现程序和硬件实现程序与软件实现程序之间的网络通信三个部分组成；硬件实现程序包括测试激励、硬件设计模型、硬...
- 鲍华洪一郭二辉耿锐欧明双
- 文献传递
- 等价性验证在Soc设计中的应用被引量：2
- 2014年
- 本文介绍了仿真验证与形式验证的功能,重点讨论了等价性验证在soc设计中的应用及基本流程,分析了等价性验证过程中常遇到的一些问题并给出了解决方案,实验显示,该验证方法可准确快速的发现设计的错误,提高验证效率。
- 刘冠男鲍华
- 关键词：仿真验证等价性验证
- BWDSP100集成开发环境设计与实现被引量：8
- 2012年
- 本文实现了DSP集成开发环境的设计和开发,完成了面向BWDSP100应用系统的开发,包括源代码的编辑、编译、链接、调试等一系列功能。原理是用交叉编译器编译链接源代码,形成目标代码,通过ICE实现下载功能,并通过远程调试器实现源代码级调试。
- 余锋林刘小明朱艳鲍华
- 关键词：集成开发环境编译器远程调试
- 一种基于网络传输的处理器协同验证平台
- 本实用新型公开了一种基于网络传输的处理器协同验证平台，基于网络传输的处理器协同验证平台由硬件实现程序、软件实现程序和硬件实现程序与软件实现程序之间的网络通信三个部分组成；硬件实现程序包括测试激励、硬件设计模型、硬件模拟模...
- 鲍华洪一郭二辉耿锐欧明双
- 文献传递
