您的位置： 专家智库 > >

田甜

作品数：3 被引量：4H指数：1
供职机构：北京控制工程研究所更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

  • 1篇电子电信

主题

  • 2篇目标码
  • 2篇仿真
  • 1篇等价
  • 1篇等价性
  • 1篇等价性验证
  • 1篇软核
  • 1篇状态机
  • 1篇逻辑
  • 1篇基于FPGA
  • 1篇FPGA验证

机构

  • 3篇北京控制工程...
  • 1篇北京轩宇信息...

作者

  • 3篇朱倩
  • 3篇田甜
  • 3篇赵欢
  • 2篇于志杰
  • 2篇赵雷
  • 2篇陈睿

传媒

  • 1篇南通大学学报...

年份

  • 1篇2017
  • 1篇2016
  • 1篇2014
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种针对MicroBlaze软核程序的测试验证系统及测试验证方法
一种针对MicroBlaze软核程序的测试验证系统，其特征在于包括：MicroBlaze仿真平台模块、软核执行流监视记录模块、目标码分析模块和覆盖率统计分析模块。本发明实现了FPGA逻辑代码、MicroBlaze软核以及...
于志杰田甜赵雷朱倩赵欢陈睿
文献传递
一种针对MicroBlaze软核程序的测试验证系统及测试验证方法
一种针对MicroBlaze软核程序的测试验证系统，其特征在于包括：MicroBlaze仿真平台模块、软核执行流监视记录模块、目标码分析模块和覆盖率统计分析模块。本发明实现了FPGA逻辑代码、MicroBlaze软核以及...
于志杰田甜赵雷朱倩赵欢陈睿
文献传递
基于FPGA中状态机的逻辑等价性验证方法被引量：4
2016年
采用Synopsys公司的逻辑等价性验证工具Formality,针对状态机逻辑电路进行逻辑等价性验证.介绍了验证的基本流程和具体步骤,具体分析了在逻辑等价性验证过程中出现的由安全设置、状态机耦合性和广义状态机等引发的常见状态机验证失败问题,并最终提出有效、可靠的解决方案.结果表明,采用Formality针对大型复杂的FPGA状态机进行逻辑等价性验证,能大幅度降低验证周期,提高验证正确性,从而进一步提高航天产业背景下FPGA产品的可靠性.
朱倩田甜赵欢
关键词：FPGA验证状态机
全选 清除 导出
共1页<1>
聚类工具0