王栋
- 作品数：17 被引量：2H指数：1
- 供职机构：北京京航计算通讯研究所更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 高安全领域可编程逻辑器件软件工程技术研究与应用被引量：2
- 2021年
- 本文结合可编程逻辑器件软件的特点与优势,说明了当前航天工程等高安全领域中可编程逻辑器件软件的应用现状,并针对近年来研制过程中出现的与可编程逻辑器件软件相关的问题进行了原因分析,进而针对性提出了高安全领域可编程逻辑器件软件工程过程技术及其构成,并说明了该技术在相关领域中的应用情况,有效提升了可编程逻辑器件软件开发质量和效率。
- 王栋刘雅清高媛赵静
- 关键词：可编程逻辑器件软件工程
- 航天型号ASIC开发过程研究
- 2014年
- 随着可编程逻辑器件,特别是ASIC和FPGA在航天型号中的应用越来越广,此类项目的设计质量对整个系统的影响越来越大,而影响设计质量的重要因素是如何开展规范的开发.目前,国内一些重大工程对于FPGA的开发过程进行了规定,但缺少对ASIC开发过程的要求定义.本文结合航天工程实际,充分借鉴欧洲航天局、美国航天局相关技术要求,提出了一种适用于国内航天型号ASIC设计的开发过程.
- 张玮王栋李丽华
- 关键词：开发过程
- 基于细粒度特征语义网络的系统接口时序知识分析系统
- 本发明属于软件工程技术领域，具体涉及一种基于细粒度特征语义网络的系统接口时序知识分析系统，其包括：构建嵌入式系统测试故障集；在嵌入式系统测试故障集中搜索接口关键问题，分析提取与时序相关的故障，初步形成时序相关的接口故障集...
- 王佳佳李娜张晛杨楠王颖唱明旭张依漪王栋
- 文献传递
- 一种Verilog代码缺陷检测方法和系统
- 本发明涉及一种Verilog代码缺陷检测方法和系统，属于FPGA测试领域。本发明的方法和系统基于缺陷检测需求和原始Verilog代码，得到待检测Verilog代码；描述Verilog保留字、结构、变量名称分别与CST标签...
- 王栋李丽华赵静汤泽宇高媛樊平罗国杰张丹丹
- 一种基于FPGA的步进电机速度控制方法
- 本发明实施例公开的一种基于FPGA的步进电机速度控制方法，涉及步进电机速度控制技术领域，能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X＝|A1－A0|...
- 李卓朱琳张国宇陈朋孟伟张哲郑金艳王栋李丽华张清彭鸣杨源姚可成冯耿宋文康建涛赵菲吕方雷盛凯南曾丽婷王巍
- 文献传递
- 基于细粒度特征语义网络的系统接口时序知识分析方法
- 本发明属于软件工程技术领域，具体涉及一种基于细粒度特征语义网络的系统接口时序知识分析方法，其包括：构建嵌入式系统测试故障集；在嵌入式系统测试故障集中搜索接口关键问题，分析提取与时序相关的故障，初步形成时序相关的接口故障集...
- 王佳佳李娜张晛杨楠王颖唱明旭张依漪王栋
- 文献传递
- 一种基于分时复用的大数据量FPGA仿真测试方法
- 本发明属于可编程逻辑器件测试技术领域，具体涉及一种基于分时复用的大数据量FPGA仿真测试方法，目的是为了解决大数据量FPGA仿真测试内存不足的问题，为了提高大数据量FPGA仿真测试的充分性。该方法包括减少仿真测试所使用的...
- 王栋张国宇刘军刘伟郑金艳杨楠李丽华毕文敬田彪彭鸣张清陈朋赵静荣高峰
- 文献传递
- 用于非网络环境下的电子文件签署方法
- 本发明属于电子文件传递共享过程中的电子文件签署技术领域，具体涉及一种用于非网络环境下的电子文件签署方法，其中Hash运算模块对电子文件进行Hash运算，产生相应电子文件的摘要值，并保存为文件，保存摘要值的文件共享给其他用...
- 李卓王颖刘军王黎朱琳韩旭东寇科男王栋张国宇杨楠双世勇孟伟宋悦何占博高飞闫丛张晛吴少雪赵东升李艳军
- 文献传递
- 云桌面终端USB重定向系统
- 本发明属于云桌面技术领域，具体涉及一种云桌面终端USB重定向系统。高安全云桌面终端因缺少操作系统而不能成功构建USB重定向通道和对USB重定向协议进行解析，进而无法实现USB设备重定向，导致用户接入的USB设备无法被识别...
- 赵东升于润泽刘军张国宇双世勇蒋甜王颖王栋
- 文献传递
- 一种基于模型替换的FPGA中blackbox的等效性检查方法
- 本发明属于一种电子硬件测试方法，具体涉及一种基于模型替换的FPGA中blackbox的等效性检查方法。它包括，使用逻辑等效性检查工具formalpro比对FPGA程序原始设计和综合后网表中逻辑的一致性，找到模型结构发生变...
- 王栋宋悦刘军
- 文献传递
