位置：立项数据库 > 立项详情页
片上多核处理器验证理论与关键技术
  • 项目名称：片上多核处理器验证理论与关键技术
  • 项目类别：重点项目
  • 批准号：61133007
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：郭阳
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：2011
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 10
  • 0
  • 0
  • 0
  • 0
期刊论文
基于悖论证明与局部搜索的不可满足子式求解算法
一种面向可重构结构的程序循环特征分析方法
片上系统高层等价性检验研究进展
一种高速缓冲存储器的可综合伪随机功能验证方法
三维片上网络体系结构研究综述
面向参数化系统验证的自动抽象方法
片上多核处理器验证：挑战、现状与展望
面向标准单元三维布局的密度驱动划分方法
基于Cell对称矩阵结构的电路划分方法
2133Mb／sDDR3存储接口的物理设计
郭阳的项目
多核多线程DSP适应性存储结构研究
期刊论文 23 会议论文 9 专利 7
覆盖率驱动的VLSI功能验证理论与方法
期刊论文 11
面向纳米CMOS组合电路软错误优化的布局方
微处理器高层功能验证测试程序自动生成的理论与方法
期刊论文 8 会议论文 6