您的位置： 专家智库 > >

陈博文

作品数：8 被引量：0H指数：0
供职机构：中国科学院计算技术研究所更多>>
发文基金：北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇专利
  • 2篇会议论文
  • 1篇科技成果

领域

  • 3篇自动化与计算...

主题

  • 3篇电路
  • 3篇形式化
  • 2篇点乘
  • 2篇点对点
  • 2篇点对点通信
  • 2篇信道
  • 2篇形式化验证
  • 2篇用户
  • 2篇数据路径
  • 2篇数据请求
  • 2篇数据运算
  • 2篇通信
  • 2篇请求
  • 2篇状态机
  • 2篇总线
  • 2篇总线规范
  • 2篇接口
  • 2篇标准接口
  • 1篇形式化验证方...
  • 1篇叶子

机构

  • 8篇中国科学院

作者

  • 8篇陈博文
  • 5篇沈海华
  • 1篇郭崎
  • 1篇郭琦
  • 1篇郭崎
  • 1篇王朋宇

传媒

  • 1篇2010年中...
  • 1篇第六届中国测...

年份

  • 1篇2011
  • 3篇2010
  • 3篇2009
  • 1篇2006
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
形式化引擎加速处理器仿真验证收敛技术
沈海华王朋宇郭崎陈博文
针对仿真验证中存在的问题，提出以形式化引擎求解覆盖率轨迹反馈驱动仿真测试向量生成，加速验证收敛。通过对可快速提供覆盖率轨迹的形式化引擎关键技术、覆盖率轨迹实时驱动处理器仿真验证的关键技术、支持多指令集的验证技术、基于片上...
关键词：
浮点乘加部件的自动化形式验证
浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.文章给出了一种浮点秉加部件的形式化验证方法.该方法基于BDD和PHDD,将设计分为三部分多种情况分别验证...
陈博文郭琦沈海华
关键词：形式化验证运算电路BDD
文献传递
一种复杂功能部件的形式化验证方法
文章给出一个通用的针对复杂功能部件的形式化验证方法.该方法基于寄存器传输级设计，利用设计中的结构信息将电路划分为控制部分和运算部分分别验证.文章给出了标识数据的时间标记法，针对控制部分中数据抽象的通用抽象规则，以及对运算...
陈博文郭崎沈海华
关键词：形式化验证数据抽象
文献传递
用于验证电路的模型检测中的模型抽象方法及其系统
本发明涉及用于验证电路的模型检测中的模型抽象方法和系统，所述电路由Verilog设计，所述方法包括：步骤1，读入所述电路的Verilog代码，依据检测需求处理所述Verilog代码中的变量，以规范并简化所述代码；步骤2，...
陈博文沈海华
文献传递
模型检测中的模型抽象方法及其系统
本发明涉及模型检测中的模型抽象方法及系统，方法包括：步骤1，输入原始模型和指导属性；步骤2，为指导属性的每个节点求解其在原始模型中的超语义，根据超语义为指导属性的每个非叶子节点求解对应的基本序列；步骤3，对原始模型的状态...
陈博文沈海华
文献传递
用于验证电路的模型检测中的模型抽象方法及其系统
本发明涉及用于验证电路的模型检测中的模型抽象方法和系统，所述电路由Verilog设计，所述方法包括：步骤1，读入所述电路的Verilog代码，依据检测需求处理所述Verilog代码中的变量，以规范并简化所述代码；步骤2，...
陈博文沈海华
文献传递
一种IP核接口标准化方法
本发明公开了一种IP核接口标准化方法，用于建立IP核间点对点通信的标准接口，包含以下方面：1、建立IP核间的点对点通信信道，所述点对点通信信道由FIFO实现；在IP核间做点对点通信时，所述IP核分为主动端与被动端；所述的...
陈博文
文献传递
一种IP核接口标准化方法
本发明公开了一种IP核接口标准化方法，用于建立IP核间点对点通信的标准接口，包含以下方面：1.建立IP核间的点对点通信信道，所述点对点通信信道由FIFO实现；在IP核间做点对点通信时，所述IP核分为主动端与被动端；所述的...
陈博文
文献传递
全选 清除 导出
共1页<1>
聚类工具0