-
公开(公告)号: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时,控制结束,转动停止,主要用于步进电机速度控制。
-
公开(公告)号:CN109061447A
公开(公告)日:2018-12-21
申请号:CN201811265809.1
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域,具体涉及一种基于模块化激励模型的集成电路测试激励生成方法。本发明应用时间轴配置方法产生与测试用例对应的任务点,通过配置任务点,形成包含激励模型的激励文件,实现激励信号的生成。并使任务点对应测试用例,实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大,调试复杂的矛盾,而且配置方式简单,适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
公开(公告)号:CN102789227A
公开(公告)日:2012-11-21
申请号:CN201210271600.2
申请日:2012-08-02
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明属于可编程逻辑器件测试技术领域,具体涉及基于覆盖率统计的可编程逻辑器件仿真测试方法。目的是为了解决目前可编程逻辑器件仿真测试存在无法保证测试充分性的问题。该方法使用DUT和Testbench文件进行覆盖率评估,对被测试可编程逻辑器件开展测试需求分析,分解出测试项和测试子项,并确定仿真测试类型为功能仿真测试;当不满足语句覆盖率和分支覆盖率评估时,分析未覆盖的原因,进一步完善测试平台并分析相关影响域,若满足覆盖率评估,则测试完成。该方法通过对仿真测试后的语句覆盖率和分支覆盖率进行分析,可有效确认出可编程逻辑器件测试的充分性。本方法有效提升了可编程逻辑器件仿真测试技术水平,对提升可编程逻辑器件质量具有重要的意义。
-
公开(公告)号:CN109408392A
公开(公告)日:2019-03-01
申请号:CN201811314440.9
申请日:2018-11-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件持续集成与软件工程技术领域,具体涉及一种基于持续集成技术的软件集成测试方法,包括:接收外部输入的各类参数信息;提供代码推送、代码推送标识生成;检测推送标识,查看代码是否有更新,同时读取输入的测试参数作为测试工具的运行参数,然后调用测试工具进行软件测试,在测试工具运行完成后将测试结果存储到指定位置;将测试工具生成的各种测试结果进行发布。该技术方案对软件测试工具进行集中化自动调度管理,可有效解决目前软件测试工具使用方式分散、使用过程繁琐、自动化程度低以及许可证冲突的问题。
-
公开(公告)号:CN108153669A
公开(公告)日:2018-06-12
申请号:CN201711225458.7
申请日:2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor: 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3676 , G06F11/3688
Abstract: 本发明属于FPGA软件仿真测试技术领域,具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现,以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上,该坐标轴是由横向器件和纵向时间组成的二维坐标轴,通过采用对坐标轴中每个目标按照时序要求配置任务点的方式,实现测试用例的系统化和时序化操作,进而提高FPGA软件仿真任务调度的系统配置能力,提高测试用例批处理能力。
-
公开(公告)号:CN108121657A
公开(公告)日:2018-06-05
申请号:CN201711224669.9
申请日:2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor: 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
Abstract: 本发明属于FPGA软件仿真测试技术领域,具体涉及一种基于系统模型的可编程逻辑器件软件仿真验证系统。与现有技术相比较,本发明通过实施上述技术方案,较好的解决了现有FPGA仿真测试中,需要测试人员逐行编辑代码模拟FPGA外围接口器件的问题。本系统自主研发并经过验证的FPGA外围接口函数封装在底层,上层模型对其进行调用和参数化配置,解决了需要人工模拟FPGA外围接口器件所带来的影响效率的问题和接口器件正确性和准确性的问题。
-
公开(公告)号:CN102854801A
公开(公告)日:2013-01-02
申请号:CN201210358760.0
申请日:2012-09-25
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于可编程逻辑器件测试技术领域,具体涉及一种基于分时复用的大数据量FPGA仿真测试方法,目的是为了解决大数据量FPGA仿真测试内存不足的问题,为了提高大数据量FPGA仿真测试的充分性。该方法包括减少仿真测试所使用的内存资源至仿真工具允许的容量围内的步骤;根据内存资源大小将需要测试的RAM数据分为若干部分的步骤;采用分时复用方式,分别对划分出的若干个RAM数据部分进行测试的步骤;在分时复用时,采用动态管理内存的方法,动态计算当前仿真测试所需要的系统内存空间并对内存进行分配和释放的步骤。
-
公开(公告)号:CN111124897B
公开(公告)日:2023-01-10
申请号:CN201911244969.2
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种可重用仿真接口模型的生成方法,属于可编程逻辑器件软件的测试与验证领域。所述方法包括以下步骤:步骤1:获取接口协议、时序及功能描述;步骤2:提取可扩展参数;步骤3:构建参数控制体;步骤4:实体描述;步骤5组合封装。与现有技术相比,本发明形成的仿真接口模型具有可重用特性,对可扩展参数进行设置后,可用于其他可编程逻辑器件软件的仿真平台,提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号: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时,控制结束,转动停止,主要用于步进电机速度控制。
-
公开(公告)号:CN109061448A
公开(公告)日:2018-12-21
申请号:CN201811265842.4
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域,具体涉及一种基于模块化激励模型的集成电路测试激励生成系统。本发明应用时间轴配置方法产生与测试用例对应的任务点,通过配置任务点,形成包含激励模型的激励文件,实现激励信号的生成。并使任务点对应测试用例,实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大,调试复杂的矛盾,而且配置方式简单,适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
-
-
-
-
-
-
-
-