您的位置： 专家智库 > >

张旭

作品数：1 被引量：10H指数：1
供职机构：湖南广播电视大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇芯片
  • 1篇静态时序分析
  • 1篇CPU
  • 1篇CPU芯片
  • 1篇FPGA仿真

机构

  • 1篇国防科学技术...
  • 1篇湖南广播电视...

作者

  • 1篇曾献君
  • 1篇胡建国
  • 1篇张旭
  • 1篇位招勤

传媒

  • 1篇微电子学

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向CPU芯片的验证技术研究被引量：10
2007年
CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键。文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了自行设计的微处理器的正确性和兼容性。
胡建国位招勤张旭曾献君
关键词：CPUFPGA仿真静态时序分析
全选 清除 导出
共1页<1>
聚类工具0