您的位置： 专家智库 > >

史江义

作品数：116 被引量：32H指数：3
供职机构：西安电子科技大学更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金陕西省自然科学基金更多>>
相关领域：自动化与计算机技术电子电信文化科学更多>>

合作作者

文献类型

  • 97篇专利
  • 16篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 29篇自动化与计算...
  • 14篇电子电信
  • 3篇文化科学

主题

  • 39篇电路
  • 20篇木马
  • 19篇网络
  • 17篇处理器
  • 14篇木马检测
  • 14篇集成电路
  • 12篇芯片
  • 10篇硬件
  • 10篇网表
  • 10篇雷达
  • 10篇寄存器
  • 9篇时钟
  • 8篇拓扑
  • 7篇滤波
  • 6篇动态仿真
  • 6篇多核
  • 6篇多线程
  • 6篇延时
  • 6篇线程
  • 6篇加密

机构

  • 116篇西安电子科技...
  • 4篇北京轩宇空间...
  • 1篇西南交通大学

作者

  • 116篇史江义
  • 89篇马佩军
  • 33篇郝跃
  • 29篇李康
  • 24篇舒浩
  • 18篇潘伟涛
  • 16篇孟坤
  • 15篇邸志雄
  • 14篇赵博
  • 13篇李鹏飞
  • 10篇李钊
  • 7篇王禛
  • 7篇吴冰冰
  • 7篇余文哲
  • 6篇张焱
  • 6篇刘轩
  • 5篇李园园
  • 5篇田映辉
  • 5篇逄杰
  • 5篇缪磊

传媒

  • 3篇电子学报
  • 2篇电子与信息学...
  • 2篇计算机工程
  • 2篇微电子学
  • 2篇西安电子科技...
  • 2篇吉林大学学报...
  • 1篇微电子学与计...
  • 1篇计算机辅助设...
  • 1篇工业和信息化...

年份

  • 2篇2024
  • 14篇2023
  • 9篇2022
  • 15篇2021
  • 13篇2020
  • 12篇2019
  • 7篇2018
  • 5篇2017
  • 3篇2016
  • 8篇2015
  • 6篇2014
  • 8篇2013
  • 4篇2012
  • 3篇2011
  • 6篇2010
  • 1篇2007
共 116 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种数字芯片功能验证方法及系统
本发明提出了一种数字芯片功能验证方法及系统，用于解决现有技术中存在的验证准确度低的技术问题，本发明考虑了应用系统环境因素和故障信息对验证结果的影响，验证方法步骤为：模拟应用系统环境信息；模拟故障信息；根据待验证设计的设计...
史江义李钊缪磊马佩军古生霖舒浩
文献传递
可配置的雷达数字信号处理器及其处理方法
本发明公开了一种可配置的雷达数字信号处理器及其处理方法。其包括八个模块，控制逻辑模块接收外部的配置信息，产生四路控制信号，一路控制地址产生模块产生蝶形因子模块、外挂存储模块的读/写地址信号；一路控制数据调整模块调整数据并...
史江义汤秋生马佩军陈泽朱新平舒浩张春焱
基于改进型SAT求解器算法的组合电路等价性检查研究
2023年
随着工艺节点的缩小,集成电路规模的增加,集成电路设计过程中逻辑等价性检查在确保设计功能正确性方面起着重要作用。文章研究了组合电路逻辑等价性检查技术,针对该领域常用的DPLL和CDCL算法存在的问题,提出了一种基于蒙特卡洛树搜索的改进算法。通过对ISCAS85测试集的一个子集的实验,证实该算法对CDCL算法有一定的改进,应用于组合电路等价性检查的平均运行时间减少了20%。
屈展李康刘鸿瑾张绍林李宾周游史江义祁仲冬
关键词：组合电路EDA
混合阵列终端功率器件及其制作方法
本发明公开了一种混合阵列终端功率器件及其制作方法，主要解决现有肖特基二极管开启电压高、输出电流小和反向漏电大的问题，其包括：衬底、过渡层、势垒层和钝化层；钝化层的左侧设有阴极槽，阴极槽上方设有阴极；钝化层的右侧设置有欧姆...
毛维杨卿慧杨翠杜鸣史江义马佩军张进成郝跃
一种基于多核多线程处理器的功能宏流水线实现方法
本发明公开了一种基于多核多线程处理器的功能宏流水线实现方法，将多个处理器划分成不同的族：接收族和发送族；在接收族和发送族的族内部，多个处理器采用并行结构；接收族负责报文的接收处理，接收族内部采用并行结构，多个线程并行的完...
李康赵庆贺雷理范勇马佩军史江义郝跃
文献传递
基于JPEG2000标准的多线程算术编码电路和方法
本发明公开了一种基于JPEG2000标准的多线程算术编码电路和方法，主要解决现有多上下文算术编码器面积大，编码效率和吞吐量低的问题。其编码电路在保证与JPEG2000标准压缩结果完全一致的前提下，对算术编码器中的“指令生...
郝跃邸志雄逄杰史江义马佩军田映辉龚章芯
文献传递
一种硬件木马检测方法及装置
本发明提供一种硬件木马检测方法及装置。所述方法包括：对正负样本芯片进行路径延迟信息采样，构建正负样本芯片路径延迟信息数据集；对待测芯片进行路径延迟信息采样，构建待测芯片路径延迟信息数据集；将正负样本芯片路径延迟信息数据集...
史江义许志鹏员维维马佩军
文献传递
基于FPGA的高速定点FFT处理器及其处理方法
本发明公开一种基于FPGA的高速定点FFT处理器及其处理方法，本发明的FFT处理器包括多级FFT处理模块和一级倒位序输出模块。本发明处理方法的具体步骤为：1、接收数据；2、数据翻转；3、数据存储；4、数据蝶形处理；5、判...
史江义舒浩谢辉辉马佩军田映辉邸志雄汤海华
文献传递
一种基于逻辑加密的集成电路及其加密方法
本发明涉及一种基于逻辑加密的集成电路及其加密方法，确定集成电路中节点的信号翻转率；根据节点的信号翻转率建立低可控性节点列表，其中，第一低可控性节点列表包含多个低可控性节点；根据集成电路的关键路径更新低可控性节点列表；根据...
史江义白永晨陈琦璇员维维汪滔许志鹏
文献传递
布斯-华莱士树型乘法器
本发明公开了一种布斯-华莱士树型乘法器，主要解决现有乘法器延时较大，电路和版图实现复杂的问题。包括布斯编码电路、部分积中间态产生电路和部分积结果产生电路。布斯编码电路对乘数重新编码产生部分积倍数控制信号和符号控制信号，分...
郝跃林钰凯李康马佩军史江义王庆成
文献传递
全选 清除 导出
共12页<12345678910>
聚类工具0