公开(公告)号：CN106887982B

公开(公告)日：2019-01-22

申请号：CN201510939836.2

申请日：2015-12-15

Applicant: 北京京航计算通讯研究所

Inventor： 李卓 ,  朱琳 ,  张国宇 ,  陈朋 ,  孟伟 ,  张哲 ,  郑金艳 ,  王栋 ,  李丽华 ,  张清 ,  彭鸣 ,  杨源 ,  姚可成 ,  冯耿 ,  宋文 ,  康建涛 ,  赵菲 ,  吕方雷 ,  盛凯南 ,  曾丽婷 ,  王巍

IPC: H02P8/14

Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法，涉及步进电机速度控制技术领域，能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X＝|A1－A0|；当步差绝对值0＜X≤M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＜T1，则T＝T+ΔT，若T≥T1，则T＝T，当步差绝对值X＞M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＞T2，则T＝T－ΔT，若T≤T2，则T＝T，当X＝0时，控制结束，转动停止，主要用于步进电机速度控制。

公开(公告)号：CN102789227A

公开(公告)日：2012-11-21

申请号：CN201210271600.2

申请日：2012-08-02

Applicant: 北京京航计算通讯研究所

Inventor： 郑金艳 ,  刘军 ,  张津荣 ,  于林宇 ,  李昆 ,  刘伟 ,  王栋 ,  杨楠 ,  张国宇 ,  彭鸣 ,  张清 ,  李丽华 ,  陈朋 ,  毕文敬

IPC: G05B23/02

Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及基于覆盖率统计的可编程逻辑器件仿真测试方法。目的是为了解决目前可编程逻辑器件仿真测试存在无法保证测试充分性的问题。该方法使用DUT和Testbench文件进行覆盖率评估，对被测试可编程逻辑器件开展测试需求分析，分解出测试项和测试子项，并确定仿真测试类型为功能仿真测试；当不满足语句覆盖率和分支覆盖率评估时，分析未覆盖的原因，进一步完善测试平台并分析相关影响域，若满足覆盖率评估，则测试完成。该方法通过对仿真测试后的语句覆盖率和分支覆盖率进行分析，可有效确认出可编程逻辑器件测试的充分性。本方法有效提升了可编程逻辑器件仿真测试技术水平，对提升可编程逻辑器件质量具有重要的意义。

公开(公告)号：CN116795685A

公开(公告)日：2023-09-22

申请号：CN202310280811.0

申请日：2023-03-21

Applicant: 北京京航计算通讯研究所 ,  北京深维科技有限公司

Inventor： 王栋 ,  李丽华 ,  赵静 ,  汤泽宇 ,  高媛 ,  樊平 ,  罗国杰 ,  张丹丹

IPC: G06F11/36 ,  G06F8/41 ,  G06F30/33 ,  G06F30/327

Abstract: 本发明涉及一种Verilog代码缺陷检测方法和系统，属于FPGA测试领域。本发明的方法和系统基于缺陷检测需求和原始Verilog代码，得到待检测Verilog代码；描述Verilog保留字、结构、变量名称分别与CST标签/标签组的对应关系，描述Verilog变量名称与LLHD变量名称的对应关系，描述CST表达中的键值对与LLHD表达式的对应关系；基于上述各对应关系，将待检测Verilog代码转换为CST表达和LLHD表达；基于缺陷检测需求分别编写对应CST表达和/或LLHD表达的缺陷检测函数进行缺陷检测，可以检测出Verilog代码缺陷，并确定缺陷所在的Verilog代码行。本发明通过将Verilog代码转换为具象语法树CST表达和底层硬件描述LLHD表达两种中间表示，实现了Verilog代码中的语义级缺陷的检测，并且实现了缺陷检测规则的定制。

公开(公告)号：CN106886487A

公开(公告)日：2017-06-23

申请号：CN201510940269.2

申请日：2015-12-15

Applicant: 北京京航计算通讯研究所

Inventor： 姚可成 ,  刘伟 ,  孟伟 ,  朱琳 ,  杨楠 ,  张哲 ,  李卓 ,  李丽华 ,  张清 ,  张国宇 ,  宋悦 ,  张玉 ,  程海龙 ,  李思 ,  韩旭东 ,  孙文靖 ,  杨春霞 ,  申璐 ,  张磊 ,  刘妍 ,  李慧君 ,  李晓伟

IPC: G06F11/36 ,  G06N3/02

CPC classification number: G06F11/3692 ,  G06N3/02

Abstract: 本发明实施例公开了一种用于评价FPGA软件可靠性的方法，涉及FPGA软件可靠性评价技术，能够客观、准确的评价FPGA软件的可靠性。该方法包括输入训练样本数据；FPGA软件可靠性度量模型与BP神经网络结合，利用所述训练样本数据对神经网络进行训练，提取FPGA软件可靠性度量元，并确定该FPGA软件中每个度量元的值，输出可靠性评价结果，主要用于FPGA软件可靠性评价。

公开(公告)号：CN102854801A

公开(公告)日：2013-01-02

申请号：CN201210358760.0

申请日：2012-09-25

Applicant: 北京京航计算通讯研究所

Inventor： 王栋 ,  张国宇 ,  刘军 ,  刘伟 ,  郑金艳 ,  杨楠 ,  李丽华 ,  毕文敬 ,  田彪 ,  彭鸣 ,  张清 ,  陈朋 ,  赵静 ,  荣高峰

IPC: G05B17/02 ,  G05B23/02

Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及一种基于分时复用的大数据量FPGA仿真测试方法，目的是为了解决大数据量FPGA仿真测试内存不足的问题，为了提高大数据量FPGA仿真测试的充分性。该方法包括减少仿真测试所使用的内存资源至仿真工具允许的容量围内的步骤；根据内存资源大小将需要测试的RAM数据分为若干部分的步骤；采用分时复用方式，分别对划分出的若干个RAM数据部分进行测试的步骤；在分时复用时，采用动态管理内存的方法，动态计算当前仿真测试所需要的系统内存空间并对内存进行分配和释放的步骤。

公开(公告)号：CN106887982A

公开(公告)日：2017-06-23

申请号：CN201510939836.2

申请日：2015-12-15

Applicant: 北京京航计算通讯研究所

Inventor： 李卓 ,  朱琳 ,  张国宇 ,  陈朋 ,  孟伟 ,  张哲 ,  郑金艳 ,  王栋 ,  李丽华 ,  张清 ,  彭鸣 ,  杨源 ,  姚可成 ,  冯耿 ,  宋文 ,  康建涛 ,  赵菲 ,  吕方雷 ,  盛凯南 ,  曾丽婷 ,  王巍

IPC: H02P8/14

CPC classification number: H02P8/14

Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法，涉及步进电机速度控制技术领域，能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X＝|A1－A0|；当步差绝对值0＜X≤M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＜T1，则T＝T+ΔT，若T≥T1，则T＝T，当步差绝对值X＞M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＞T2，则T＝T－ΔT，若T≤T2，则T＝T，当X＝0时，控制结束，转动停止，主要用于步进电机速度控制。