首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】机载航电设备HDL设计适航符合性验证平台及测试方法_中电科航空电子有限公司_202310144413.6 

申请/专利权人:中电科航空电子有限公司

申请日:2023-02-21

公开(公告)日:2024-02-27

公开(公告)号:CN117610490A

主分类号:G06F30/398

分类号:G06F30/398;G06F11/36

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.03.15#实质审查的生效;2024.02.27#公开

摘要:本发明公开了机载航电设备HDL设计适航符合性验证平台及测试方法,包括:接口模块,用于将待测设计顶层模块中对应于每个待测设计子模块的输入输出接口进行打包,供测试用例进行访问;同时将待测设计子模块的内部信号引出,供测试用例和断言检查模块访问;测试用例,用于基于SystemVerilog面向对象编程的思路将每个测试用例编写成一个类;断言检查模块,用于基于SystemVerilog断言的验证,对接口模块中引出的内部信号进行功能正确性监视。本发明符合RTCADO‑254的适航符合性验证要求,填补了航空领域无基于机载设备FPGA逻辑设计进行功能符合性验证的验证平台的空白。

主权项:1.机载航电设备HDL设计适航符合性验证平台,其特征在于,该验证平台包括接口模块、测试用例和断言检查模块;所述接口模块,用于将待测设计顶层模块中对应于每个待测设计子模块的输入输出接口进行打包,供测试用例进行访问;同时将待测设计子模块的内部信号引出,供测试用例和断言检查模块访问;所述测试用例,用于基于SystemVerilog面向对象编程的思路进行编写,将每个测试用例编写成一个类;对待测设计子模块的若干个测试用例类打包成一个测试用例包,并将所述测试用例包存放到一个测试用例文件中;所述断言检查模块,用于基于SystemVerilog断言的验证,通过断言检查点,对所述接口模块中引出的内部信号进行功能正确性监视。

全文数据:

权利要求:

百度查询: 中电科航空电子有限公司 机载航电设备HDL设计适航符合性验证平台及测试方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。