于海
- 作品数：6 被引量：79H指数：2
- 供职机构：西北工业大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 32位RISC微处理器FPGA验证平台设计与实现被引量：11
- 2007年
- 微处理器的验证工作是一项复杂而重要的工作。针对传统的FPGA验证在板级验证过程中存在不能快速定位错误和调试方法单一等问题,同时结合“龙腾R2”微处理器的验证需求,设计了“龙腾R2”微处理器的FPGA验证平台,在该验证平台上成功进行了指令和VxWorks操作系统的测试。实践表明该验证平台大大缩短了验证周期,整个验证平台原理清晰,结构简单,扩展灵活、方便。
- 于海樊晓桠张盛兵
- 关键词：微处理器FPGAVXWORKS操作系统
- 基于FPGA异步FIFO的研究与实现被引量：66
- 2007年
- 通过分析异步FIFO的结构和关键技术,以减少电路中亚稳态出现概率为主要目的,提出了一种有效实现异步FIFO的设计新方法。结合FPGA对设计的异步FIFO进行了验证并针对两种FIFO模型做了性能比较,结果表明该设计大大提高了工作频率和资源利用率。
- 于海樊晓桠
- 关键词：异步FIFO亚稳态格雷码FPGA
- 基于“龙腾R2”嵌入式SoC设计与实现
- 结合西北工业大学航空微电子中心所承担的科研项目，作者参加了“龙腾R2”微处理器的验证工作，负责总线接口部件的验证和FPGA的原型验证。在完成“龙腾R2”验证的基础上，设计实现了基于“龙腾R2”处理器的嵌入式SoC系统。
...
- 于海
- 关键词：嵌入式SOCVXWORKSFPGA
- 文献传递
- 一种基于多处理器环境总线接口部件的优化方案
- 2007年
- 探讨通过优化总线接口部件的设计来提高处理器整体性能,优化的措施着重于降低处理器访存的次数和减小总线负载。仿真和验证结果证明这些方法是可行有效的。
- 于海樊晓桠
- 关键词：多处理机总线接口
- 一种新型高效容错体系结构的研究与实现被引量：2
- 2009年
- 由于辐射而在电路的时序逻辑部分和组合逻辑部分产生的逻辑软错误已经逐渐成为阻碍系统可靠性和稳定性的主要威胁。提出了一种结合了基于主/从latch设计和改进的时间冗余策略两种技术的容错体系结构,通过ISCAS′89测试基准电路进行验证并对实验结果的分析发现,该容错体系结构获得了很高的容错性能。
- 陈帆于海
- 关键词：CMOS技术软错误时间冗余
- 高性能嵌入式龙腾系列芯片
- 高德远樊晓桠魏廷存张盛兵王党辉黄小平张萌郑然高翔韩兵陈超严卫生张小林高武于海安建峰王晶吴伟张骏王得利田杭沛史丽雯魏晓敏姚涛李峰陈付龙王佳林培恒韩立敏郑乔石
- 本项目自主完成了龙腾系列芯片的设计规格书制定、系统设计、RTL设计、功能验证、FPGA验证、物理设计，以及流片、测试和用户使用验证等全部研制过程。在芯片功能验证阶段，采用多种验证技术，包括直接测试、间接测试、随机测试、应...
- 关键词：
- 关键词：嵌入式微处理器
