您的位置： 专家智库 > >

张金巍

作品数：12 被引量：2H指数：1
供职机构：北京控制工程研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术交通运输工程电子电信更多>>

合作作者

文献类型

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

领域

  • 4篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇语法分析
  • 4篇总线
  • 4篇遍历
  • 2篇代码
  • 2篇单片
  • 2篇单片机
  • 2篇单片机系统
  • 2篇语法分析器
  • 2篇语义
  • 2篇语义分析
  • 2篇源代码
  • 2篇指令流
  • 2篇中断优先级
  • 2篇软扩频
  • 2篇设计规范
  • 2篇时钟
  • 2篇数据竞争
  • 2篇同步时钟
  • 2篇状态机
  • 2篇总线模块

机构

  • 9篇北京控制工程...
  • 3篇中国科学院
  • 1篇湘潭大学

作者

  • 11篇张金巍
  • 8篇郭向英
  • 6篇段永顥
  • 6篇吴瑾
  • 6篇董燕
  • 4篇于志杰
  • 4篇武占峰
  • 4篇左万娟
  • 4篇张西超
  • 4篇魏鹏
  • 4篇曾霞
  • 3篇李华伟
  • 3篇段永颢
  • 3篇马丽丽
  • 3篇吕涛
  • 2篇孙宇明
  • 2篇李鹏宇
  • 2篇尚智
  • 2篇王青
  • 2篇郝伟

传媒

  • 1篇计算机工程

年份

  • 1篇2015
  • 1篇2014
  • 2篇2013
  • 3篇2012
  • 4篇2011
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于静态分析的RTL设计错误检测方法和系统
本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的...
马丽丽吕涛李华伟李晓维段永颢张金巍
用于RTL设计验证的静态错误检测方法
2011年
为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。
马丽丽吕涛李华伟张金巍段永颢
关键词：寄存器传输级
一种用于检测中断驱动型程序数据竞争的系统
本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模...
陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
一种USB接口高速实时采样逻辑分析仪
一种USB接口高速实时采样逻辑分析仪，包括单片机系统和FPGA系统，其中，单片机系统包括USB接口模块、GPIF模块、SPI总线模块、FPGA引导配置模块和RAM程序执行模块；FPGA系统包括FPGA程序执行模块、FIF...
李鹏宇郭向英郝伟盛庄吴瑾董燕张金巍
文献传递
一种从总线指令流中提取实际执行指令和预取指令的方法
一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有...
吴瑾段永顥于志杰郭向英董燕武占峰张西超张金巍魏鹏曾霞左万娟尚智
文献传递
一种基于快速傅立叶变换的软扩频通信系统
本发明公开了一种基于快速傅立叶变换的软扩频通信系统，包括：训练序列模块、码相位映射模块、组帧发射模块、捕获模块、跟踪模块、数据截取、快速逆傅立叶变换模块、点乘模块、快速傅立叶变换模块、数据伪码变换结果提取模块和数据解调模...
孙宇明段永顥赵鹏郭向英张金巍王青朱倩刘鹭航赵欢
文献传递
一种基于静态分析的RTL设计错误检测方法和系统
本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的...
马丽丽吕涛李华伟李晓维段永颢张金巍
文献传递
一种从总线指令流中提取实际执行指令和预取指令的方法
一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有...
吴瑾段永顥于志杰郭向英董燕武占峰张西超张金巍魏鹏曾霞左万娟尚智
一种基于快速傅立叶变换的软扩频通信系统
本发明公开了一种基于快速傅立叶变换的软扩频通信系统，包括：训练序列模块、码相位映射模块、组帧发射模块、捕获模块、跟踪模块、数据截取、快速逆傅立叶变换模块、点乘模块、快速傅立叶变换模块、数据伪码变换结果提取模块和数据解调模...
孙宇明段永顥赵鹏郭向英张金巍王青朱倩刘鹭航赵欢
一种用于检测中断驱动型程序数据竞争的系统
本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模...
陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
文献传递
全选 清除 导出
共2页<12>
聚类工具0