申请/专利权人：浙江工业大学

申请日：2020-03-25

公开（公告）日：2024-04-19

公开（公告）号：CN111597765B

主分类号：G06F30/327

分类号：G06F30/327;G06F30/27;G06F30/3308;G06N3/006

优先权：

专利状态码：有效-授权

法律状态：2024.04.19#授权;2020.09.22#实质审查的生效;2020.08.28#公开

摘要：一种基于随机与并行计算策略的RTL级电路可靠性度量方法，首先，对网表进行解析并对相关量进行初始化，以为后续计算做好准备；接着，基于sobol序列构建均匀非伯努利序列的生成方法，并基于该序列生成方法分别利用并行计算策略构建长度为ls的电路输入向量与面向模块输出端的故障注入许可序列；然后，基于随机计算策略分别并行计算了针对各输入向量在不同状况下的电路逻辑输出；最后，通过最大‑最小蚁群算法实现了算法的自适应收敛。本发明有效兼顾评估精度与计算速度。

主权项：1.一种基于随机与并行计算策略的RTL级电路可靠性度量方法，其特征在于，所述方法包括以下步骤：步骤1：网表解析及相关量的初始化，过程如下：1.1通过队列暂存技术解析RTL级电路网表并提取电路的原始输入端数npt及所有模块的输出端数mot；1.2初始化误差容限err及基本序列长度ls，设置ct＝{0}，cnt＝0，t＝1，mx＝0及mn＝ls；步骤2：并行生成长度为ls的电路输入向量vsq，过程如下：2.1基于sobol序列并行生成第i个长度为ls的均匀非伯努利序列pvi；2.2基于并行策略从序列pvi中提取第j个元素pvij构造第j个长度为npt的电路输入向量vsqj；其中，i＝1,2,…,npt且j＝1,2,…,ls；步骤3：基于sobol序列并行为模块的第k个输出端构造一个长度为ls的故障注入许可序列fsqk，k＝1,2,…,mot；步骤4：针对第h个输入向量vsqh，基于随机计算策略并行计算理想与故障情况下电路所对应的逻辑输出ilvh与flvh，过程如下：4.1针对vsqh，调用一个线程通过随机计算策略计算在理想情况下的电路输出逻辑ilvh；同时调用另一个线程展开计算并在原始输出端提取输出逻辑flvh，若遇到模块的第k个输出端，则根据fsqkh的逻辑值决定是否注入故障；4.2若ilvh＝flvh，则执行cth＝cth+1；4.3执行cnt＝cnt+sumcth；其中，在fsqkh＝1时往模块的输出端注入故障，否则不注入故障；sum指求和运算，h＝1,2,…,ls；步骤5：基于最大-最小蚁群算法构建自适应收敛计算，过程如下：5.1若sumcthmx，则执行mx＝sumcth；5.2若sumcthmn，则执行mn＝sumcth；5.3若|mx–mn|t×lserr，则执行ct[]＝{0}且t＝t+1，并转到步骤2；否则，转到5.4；5.4输出cntt×ls，算法结束。

全文数据：

权利要求：

百度查询： 浙江工业大学 一种基于随机与并行计算策略的RTL级电路可靠性度量方法

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

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD