-
公开(公告)号：CN110969206A
公开(公告)日：2020-04-07
申请号：CN201911201994.2
申请日：2019-11-29
Applicant: 大连理工大学
Abstract: 本发明公开了基于层次划分的电路故障实时诊断与自修复方法，包括如下具体步骤：Step1：将电路系统按照功能进行模块划分并依据调用关系分层，利用故障树分析方法赋予各个模块不同的影响因子；Step2：选取Step1中需要监控与修复的模块获得电路相应CGP编码，模拟单粒子翻转效应对CGP编码进行故障注入获得大量故障样本数据，利用获得故障样本数据离线训练神经网络；Step3：当故障发生时结合Step2发送来的故障模块编号与Step1中不同模块编号对应的影响因子来决定故障模块的修复顺序，并利用补偿机制保证修复期间系统的正常运行。该方法解决了限制故障智能检测发展的数据集问题，同时提供一种基于电路故障模块影响度的修复方法。
-
公开(公告)号：CN110941932A
公开(公告)日：2020-03-31
申请号：CN201911200553.0
申请日：2019-11-29
Applicant: 大连理工大学
IPC: G06F30/33
Abstract: 本发明公开了一种面向硬件逻辑设计的需求建模与验证方法，包括步骤1：获取需求分析阶段划分的功能模块，并将所述功能模块代码填入对应样式的表格中；步骤2：分析填充的、以多样式描述不同功能Verilog HDL语句的表格，记录同模块间表格的嵌套关系和不同模块间端口的实例化关系；步骤3：对代码进行语法和逻辑审查；步骤4：由模块代码生成保存时序运行逻辑的文档；步骤5：在不同的时钟沿调用时序运行逻辑的文档，使用表格显示对不同时钟沿时刻代码所处的逻辑分支的具体位置；步骤6：对验证逻辑正确后的所述代码进行整合操作，生成表格填充对应的Verilog HDL代码框架。该方法能以简单的填充表格方式，自动对逻辑进行验证，达到事前验证的效果。
-
公开(公告)号：CN110969206B
公开(公告)日：2023-06-06
申请号：CN201911201994.2
申请日：2019-11-29
Applicant: 大连理工大学
IPC: G06F18/2433 , G06N3/0464 , G06N3/08 , G06F18/2411
Abstract: 本发明公开了基于层次划分的电路故障实时诊断与自修复方法，包括如下具体步骤：Step1：将电路系统按照功能进行模块划分并依据调用关系分层，利用故障树分析方法赋予各个模块不同的影响因子；Step2：选取Step1中需要监控与修复的模块获得电路相应CGP编码，模拟单粒子翻转效应对CGP编码进行故障注入获得大量故障样本数据，利用获得故障样本数据离线训练神经网络；Step3：当故障发生时结合Step2发送来的故障模块编号与Step1中不同模块编号对应的影响因子来决定故障模块的修复顺序，并利用补偿机制保证修复期间系统的正常运行。该方法解决了限制故障智能检测发展的数据集问题，同时提供一种基于电路故障模块影响度的修复方法。
-
公开(公告)号：CN110941932B
公开(公告)日：2021-07-20
申请号：CN201911200553.0
申请日：2019-11-29
Applicant: 大连理工大学
IPC: G06F30/33
Abstract: 本发明公开了一种面向硬件逻辑设计的需求建模与验证方法，包括步骤1：获取需求分析阶段划分的功能模块，并将所述功能模块代码填入对应样式的表格中；步骤2：分析填充的、以多样式描述不同功能Verilog HDL语句的表格，记录同模块间表格的嵌套关系和不同模块间端口的实例化关系；步骤3：对代码进行语法和逻辑审查；步骤4：由模块代码生成保存时序运行逻辑的文档；步骤5：在不同的时钟沿调用时序运行逻辑的文档，使用表格显示对不同时钟沿时刻代码所处的逻辑分支的具体位置；步骤6：对验证逻辑正确后的所述代码进行整合操作，生成表格填充对应的Verilog HDL代码框架。该方法能以简单的填充表格方式，自动对逻辑进行验证，达到事前验证的效果。
-
-
-
Search Results
4
records
(took 0.023 seconds)
