您的位置： 专家智库 > >

李世军

作品数：6 被引量：0H指数：0
供职机构：北京大学深圳研究生院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇中文专利

领域

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

主题

  • 4篇电路
  • 4篇集成电路
  • 2篇预先设计
  • 2篇设计实现
  • 2篇实时检测
  • 2篇水线
  • 2篇排序
  • 2篇转换器
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇仿真
  • 2篇参考模型
  • 2篇处理器
  • 1篇指令集
  • 1篇寄存器
  • 1篇仿真模型

机构

  • 6篇北京大学

作者

  • 6篇李世军
  • 6篇陈旭
  • 6篇张兴
  • 6篇王新安
  • 6篇谢峥
  • 6篇周芝丽
  • 2篇胡子一
  • 2篇赵蕾
  • 2篇王腾

年份

  • 1篇2015
  • 2篇2014
  • 3篇2012
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
集成电路流水线设计验证方法、系统及其模型实现方法
本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次...
谢峥周芝丽王新安李世军苏吉婷陈旭赵蕾张兴
文献传递
处理器功能仿真模型生成装置、方法及功能验证方法
本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿...
谢峥陈旭王新安苏吉婷李世军周芝丽胡子一张兴
文献传递
一种周期精确转换器及其集成电路验证方法和系统
本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执...
谢峥苏吉婷王新安陈旭李世军周芝丽王腾张兴
文献传递
一种周期精确转换器及其集成电路验证方法和系统
本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执...
谢峥苏吉婷王新安陈旭李世军周芝丽王腾张兴
集成电路流水线设计验证方法、系统及其模型实现方法
本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次...
谢峥周芝丽王新安李世军苏吉婷陈旭赵蕾张兴
处理器功能仿真模型生成装置、方法及功能验证方法
本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿...
谢峥陈旭王新安苏吉婷李世军周芝丽胡子一张兴
文献传递
全选 清除 导出
共1页<1>
聚类工具0