张建民
- 作品数：118 被引量：28H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种多线程并行执行的硬件SAT求解器
- 本发明提供了一种多线程并行执行的硬件SAT求解器，包括第一寄存器模块、第一评估模块组、缓存器模块组、计数器模块、变元翻转模块、概率映射表、FIFO树组、第二寄存器模块组、第二评估模块和第三寄存器模块。本发明提供的一种多线...
- 黎铁军马柯帆张建民常俊胜孙岩翦杰王强熊泽宇肖灿文徐佳庆
- 一种用于PAM4收发机的并行自适应减状态序列检测器
- 本发明公开了一种用于PAM4收发机的并行自适应减状态序列检测器，包括由四个并行的序列检测单元构成的序列检测组块，序列检测单元包括ISI计算器、状态产生器、预比较选择器、加比选模块和输出组织模块，ISI计算器用于实现ISI...
- 吕方旭许超龙赖明澈欧洋翦杰吴利舟庞征斌张建民黎渊刘普光孙岩王子聪
- 一种面向神经网络加速器的多工作负载调度方法
- 本发明公开了一种面向神经网络加速器的多工作负载调度方法，其包括：部署阶段：将工作负载调度去部署到目标神经网络加速器；静态调度阶段：根据已经工作负载特征进行初步工作负载调度；动态调度阶段：根据目标加速器运行时状态信息来进行...
- 马胜王波黎铁军张建民吴利舟张春元赵云平罗盛柏石怡昊薛青山张学一张淞松
- 布尔不可满足子式的求解方法研究进展被引量：2
- 2008年
- 解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.
- 李思昆张建民沈胜宇
- 关键词：形式化验证
- 一种高速互连网络中低开销的拥塞控制方法
- 本发明公开了一种高速互连网络中低开销的拥塞控制方法，本发明在目的节点动态发送CNP报文时根据目的节点的CNP报文回传路径的拥堵状况选择指定的将多个FECN标记产生一个CNP报文的方式控制CNP报文的产生方式并在CNP报文...
- 孙岩常俊胜赖明澈张建民陆平静徐金波罗章齐星云黎渊欧洋王强熊泽宇王崇峰
- 文献传递
- 用于高速互连网络接口芯片的DMA通信装置、芯片、设备及方法
- 本发明公开了一种用于高速互连网络接口芯片的DMA通信装置、芯片、设备及方法，装置包括DMA写请求处理模块和DMA读请求处理模块，DMA写请求处理模块包括DMA写请求FIFO、DMA写数据FIFO、DMA写请求接收计数器、...
- 欧洋常俊胜张建民翦杰黎渊罗章徐金波孙岩董德尊熊泽宇王子聪
- 文献传递
- 一种容错目录高速缓存控制器
- 本发明针对传统目录Cache容错性不强、可靠性不高，无法满足空间环境或复杂电磁环境的要求，公开了一种容错目录高速缓存控制器，包含4个完全相同的目录缓存体、目录访问旁路、目录访问交叉开关、访存交叉开关与配置寄存器。通过设计...
- 张建民黎铁军肖立权庞征斌王克非常俊胜齐星云徐金波罗章董德尊赖明澈黎渊徐实马柯帆
- 文献传递
- 面向高速缓冲存储器的可综合伪随机验证方法及装置
- 本发明公开了一种面向高速缓冲存储器的可综合伪随机验证方法及装置，方法步骤如下：1)建立数据镜像模块并初始化；2)生成伪随机数，构造访存控制数据信号并发送到高速缓冲存储器，同时启动超时计数器并在超时后报告超时错误；当收到高...
- 张建民罗章徐金波董德尊赖明澈陆平静黎铁军王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜
- 阶数灵活的低直径大规模互连网络拓扑结构及路由方法
- 本发明公开了一种阶数灵活的低直径大规模互连网络拓扑结构及其路由方法，解决已有互连网络拓扑结构无法克服现有路由器工艺的缺点与不足的问题。技术方案是：整个拓扑由nq个超级路由节点按照n个簇、每个簇内q个超级路由节点、以Gal...
- 董德尊雷斐廖湘科肖立权庞征斌王克非夏军常俊胜齐星云张建民徐金波王绍刚戴艺罗章赖明澈黎渊吴际李存禄杨文祥
- 文献传递
- 通用接口控制器GPIO_WB IP核设计与实现被引量：2
- 2004年
- 通用IO接口是SoC系统中非常重要的一种外围端口。本文完成了一种基于WISHBONE总线的GPIO_WB控制器IP核的逻辑设计和物理实现,较具体地介绍了GPIO_WBIP核的体系结构以及WISHBONE接口和DMA传输方式的设计方案,并对所设计实现的GPIO_WB性能及可重用性做了分析,结论表明,与已有的通用IO接口IP核相比,GPIO_WBIP核具有性能高、实现代价小、硬件简单、可重用性好、易于扩展等优点。
- 张建民沈胜宇宋廷强高树静李思昆
- 关键词：WISHBONESOCIP核直接存储器访问
