您的位置： 专家智库 > >

周芝丽

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

合作作者

文献类型

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

领域

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

主题

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

机构

  • 7篇北京大学

作者

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

传媒

  • 1篇微电子学与计...

年份

  • 1篇2015
  • 2篇2014
  • 4篇2012
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种周期精确转换器及其集成电路验证方法和系统
本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执...
谢峥苏吉婷王新安陈旭李世军周芝丽王腾张兴
PKU-DSPII中SPI接口与Bootrom程序设计被引量：3
2012年
针对PKU-DSPII芯片,设计了具有AMBA AXI 3.0接口的SPI主机接口,支持四种传输模式、可变传输帧长度、频率可编程时钟输出和五种中断;同时,针对该SPI接口设计了RISC DSP的bootrom程序,包括从FLASH正常启动和对FLASH系统程序进行升级两种工作模式.通过功能仿真和FPGA原型验证,PKU-DSPII可以利用该设计的SPI接口成功通过外部FLASH启动或进行系统升级,证明了硬件设计和bootrom程序的正确性.该设计已提交华润上华0.18μm CMOS工艺流片.
王腾周芝丽陈英瑞王新安
关键词：SPI接口AMBAFLASH
集成电路流水线设计验证方法、系统及其模型实现方法
本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次...
谢峥周芝丽王新安李世军苏吉婷陈旭赵蕾张兴
文献传递
处理器功能仿真模型生成装置、方法及功能验证方法
本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿...
谢峥陈旭王新安苏吉婷李世军周芝丽胡子一张兴
文献传递
一种周期精确转换器及其集成电路验证方法和系统
本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执...
谢峥苏吉婷王新安陈旭李世军周芝丽王腾张兴
文献传递
集成电路流水线设计验证方法、系统及其模型实现方法
本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次...
谢峥周芝丽王新安李世军苏吉婷陈旭赵蕾张兴
处理器功能仿真模型生成装置、方法及功能验证方法
本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿...
谢峥陈旭王新安苏吉婷李世军周芝丽胡子一张兴
文献传递
全选 清除 导出
共1页<1>
聚类工具0