您的位置： 专家智库 > >

陈旭

作品数：9 被引量：21H指数：1
供职机构：北京大学深圳研究生院更多>>
发文基金：深圳市科技计划项目更多>>
相关领域：自动化与计算机技术电子电信文化科学更多>>

合作作者

文献类型

  • 8篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...
  • 1篇电子电信
  • 1篇文化科学

主题

  • 4篇电路
  • 4篇集成电路
  • 2篇代码
  • 2篇语法
  • 2篇语法树
  • 2篇语言代码
  • 2篇预先设计
  • 2篇设计实现
  • 2篇实时检测
  • 2篇水线
  • 2篇排序
  • 2篇转换器
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇仿真
  • 2篇参考模型
  • 2篇测试代码
  • 2篇测试用例
  • 2篇产生器
  • 2篇处理器

机构

  • 9篇北京大学

作者

  • 9篇陈旭
  • 9篇王新安
  • 9篇谢峥
  • 6篇李世军
  • 6篇张兴
  • 6篇周芝丽
  • 5篇王腾
  • 3篇雍珊珊
  • 2篇曹颖
  • 2篇胡子一
  • 2篇赵蕾

传媒

  • 1篇北京大学学报...

年份

  • 1篇2015
  • 4篇2014
  • 3篇2012
  • 1篇2011
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
一种周期精确转换器及其集成电路验证方法和系统
本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执...
谢峥苏吉婷王新安陈旭李世军周芝丽王腾张兴
文献传递
高级语言代码的生成方法及其产生器
本发明公开了一种高级语言代码产生器及高级语言代码生成方法，通过将输入的EDA设计工具的语法支持情况描述信息和验证或测试策略分别转换为相应的语法配置表和控制约束表，再根据该语法配置表和控制约束表，调用相应的语法库构建语法树...
谢峥王新安曹颖陈旭雍珊珊王腾
一种周期精确转换器及其集成电路验证方法和系统
本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执...
谢峥苏吉婷王新安陈旭李世军周芝丽王腾张兴
集成电路流水线设计验证方法、系统及其模型实现方法
本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次...
谢峥周芝丽王新安李世军苏吉婷陈旭赵蕾张兴
文献传递
处理器功能仿真模型生成装置、方法及功能验证方法
本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿...
谢峥陈旭王新安苏吉婷李世军周芝丽胡子一张兴
文献传递
高级语言代码的生成方法及其产生器
本发明公开了一种高级语言代码产生器及高级语言代码生成方法，通过将输入的EDA设计工具的语法支持情况描述信息和验证或测试策略分别转换为相应的语法配置表和控制约束表，再根据该语法配置表和控制约束表，调用相应的语法库构建语法树...
谢峥王新安曹颖陈旭雍珊珊王腾
文献传递
一种基于UVM面向RISCCPU的可重用功能验证平台被引量：21
2014年
以UVM验证方法学和UVM1.1标准库为基础建立验证环境,按照面向方面的模式分离功能、时序和结构属性,设计参考模型,在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用,以PKU-DSPII为例建立完整的验证平台。实验结果表明,可重用性得到大幅提升,且测试用例的覆盖率效果提升约7%。
谢峥王腾雍珊珊陈旭苏吉婷王新安
关键词：面向方面建模
处理器功能仿真模型生成装置、方法及功能验证方法
本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿...
谢峥陈旭王新安苏吉婷李世军周芝丽胡子一张兴
文献传递
集成电路流水线设计验证方法、系统及其模型实现方法
本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次...
谢峥周芝丽王新安李世军苏吉婷陈旭赵蕾张兴
全选 清除 导出
共1页<1>
聚类工具0