位置：立项数据库 > 立项详情页
覆盖率驱动的VLSI功能验证理论与方法
  • 项目名称：覆盖率驱动的VLSI功能验证理论与方法
  • 项目类别：面上项目
  • 批准号：60573173
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：郭阳
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：2005
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 11
  • 0
  • 0
  • 0
  • 0
期刊论文
谓词抽象技术研究
一种异构多核处理器的并行流存储结构
模型检验中抽象技术研究综述
形式化等价性检查指导的软错误敏感点筛选
基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法
YHFT-DX高性能DSP指令控制流水线设计与优化
基于悖论分析和增量求解的快速反例压缩算法
支持多种模式传输的I^2C控制器设计
一种并行指令Cache的设计与实现
异步微处理器设计方法研究
基于去同步技术的异步8051设计与实现
郭阳的项目
片上多核处理器验证理论与关键技术
期刊论文 10
多核多线程DSP适应性存储结构研究
期刊论文 23 会议论文 9 专利 7
面向纳米CMOS组合电路软错误优化的布局方
微处理器高层功能验证测试程序自动生成的理论与方法
期刊论文 8 会议论文 6