位置：立项数据库 > 立项详情页
用于芯片系统验证的证明引擎研究
  • 项目名称：用于芯片系统验证的证明引擎研究
  • 项目类别：重大研究计划
  • 批准号：90207015
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：韩俊刚
  • 依托单位：西安邮电学院
  • 批准年度：2002
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 0
  • 0
  • 0
  • 0
期刊论文
命题公式集F（S）的基于R0-算子的16类分划
属性说明语言在基于断言的硬件验证中的应用
建立可扩展验证核的方法研究
模态转移系统的三值逻辑模型检验
基于FPGA技术的SDH交换芯片设计与实现
一种高速大容量SDH交叉连接芯片的设计与实现
韩俊刚的项目
基于时态逻辑的形式化综合
无线通信自重构容错NOC研究
期刊论文 54 会议论文 14
新一代图形处理系统芯片体系结构及关键技术研究
期刊论文 53