(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202211113560.9 (22)申请日 2022.09.14 (71)申请人 成都华大九天科技有限公司 地址 610200 四川省成 都市双流区国芯大 道518号 (72)发明人 彭国烊　陈彬　胡浩　杨晓东　 (74)专利代理 机构 北京德崇智捷知识产权代理 有限公司 1 1467 专利代理师 王金双 (51)Int.Cl. G06F 30/20(2020.01) G06F 111/04(2020.01) G06F 111/08(2020.01) (54)发明名称 一种基于约束求解引擎的带约束随机数生 成方法 (57)摘要 本发明提供了一种基于约束求解引擎的带 约束随机数生成方法， 包括以下步骤： 1） 编译用 户在EDA数字仿真器中输入的仿真代码， 获取随 机变量、 约束、 求解次数， 其中， 所述求解次数记 作N； 2） 对所述随机变量进行比特提取， 将提取的 随机变量的每一个比特作为独立的随机变量； 3） 利用表达随机的约束， 生成随机属性约束： 对于 第一次求解， 利用随机函数为随机变量每一个比 特随机生成0或1的值， 获得随机属性约束； 对于 第2次到第N次求解， 对上一次的求解结果， 随机 选择选定个数的比特， 进行比特值的翻转， 获得 随机属性约束； 4） 将所有约束送入约束求解引擎 进行求解。 本发明能够在保证随机性的前提下， 很大程度上提升效率。 权利要求书2页 说明书5页 附图2页 CN 115392048 A 2022.11.25 CN 115392048 A 1.一种基于约束求 解引擎的带约束随机数生成方法， 包括以下步骤： 1） 编译用户在EDA数字仿真器中输入的仿真代码， 获取随机变量、 约束、 求解次数， 其 中， 所述求解次数记作N； 2） 对所述随机变量进行比特提取， 将提取的随机变量的每一个比特作为独立的随机变 量； 3） 利用表达随机的约束， 生成随机属性约束： 对于第一次求解， 利用随机函数为随机变量每一个比特随机生成0或1的值， 获得随机 属性约束； 对于第2次到第 N次求解， 对上一次的求解结果， 随机选择选定个数的比特， 进行比特值 的翻转， 获得随机属性约束， 所述翻转， 是指将0翻转成1或者将1翻转成0； 其中， 在第2次到第N次求 解之前， 先清除上一次求 解设定的表达随机属性的所有约束； 4） 将所有约束送入约束求 解引擎进行求 解。 2.根据权利要求1所述的基于约束求解引擎的带约束随机数生成方法， 其特征在于， 所 述约束， 包括， 硬约束和软约束， 所述硬约束为用户设置的必须要满足的约束， 所述软约束 包括， 用户特指的不需要必须满足的约束或根据待求解变量设置的按比特表达随机的约 束。 3.根据权利要求1所述的基于约束求解引擎的带约束随机数生成方法， 其特征在于， 所 述步骤2） 还 包括， 将用户输入的约束的代数 形式转换为数理逻辑中的合取 范式的形式。 4.根据权利要求1所述的基于约束求解引擎的带约束随机数生成方法， 其特征在于， 所 述步骤3） 对于第2至第N次求解， 还包括， 在求解之前先清除上一次求解设定的表达随机属 性的所有约束。 5.根据权利要求1所述的基于约束求解引擎的带约束随机数生成方法， 其特征在于， 所 述选定个数等于所述随机变量长度/固定值， 所述固定值 根据约束求 解引擎进行选择。 6.根据权利要求1所述的基于约束求解引擎的带约束随机数生成方法， 其特征在于， 所 述步骤4） 进一步包括， 对于第一次进行约束求解获得的随机属性的软约束， 约束求解引擎 将其与用户输入的硬约束 进行求解， 在求解过程中进行冲突判断： 如果不冲突， 则输出求 解结果； 如果冲突， 则求 解失败， 退 出求解。 7.根据权利要求1所述的基于约束求解引擎的带约束随机数生成方法， 其特征在于， 所 述步骤4） 进一步包括， 对于第2至第N次约束求解， 约束求解引擎将判断是否所有表达随机 的约束都 失效了： 如果失效了， 则清空所有表达随机的约束， 按照第1次约束求 解情况进行操作； 如果并非所有表达随机的约束都 失效了， 则输出求 解结果。 8.根据权利要求6或7中任一项所述的基于约束求解引擎的带约束随机数生成方法， 其 特征在于， 输出求 解结果之后， 需要判断是否为 最后一次求 解： 如果不是最后一次求 解， 则继续进行 所述步骤3）‑所述步骤4） ； 如果是最后一次求 解， 则求解结束； 其中， 最后一次求 解的次数等于N。 9.一种电子设备， 其特征在于， 包括存储器和处理器， 所述存储器上储存有在所述处理权　利　要　求　书 1/2 页 2 CN 115392048 A 2器上运行 的程序， 所述处理器运行所述程序时执行权利要求1 ‑8任一项所述的基于约束求 解引擎的带约束随机数生成方法的步骤。 10.一种计算机可读存储介质， 其上存储有计算机指令， 其特征在于， 所述计算机指令 运行时执行权利要求1 ‑8任一项所述的基于约束求解引擎的带约束随机数生成方法的步 骤。权　利　要　求　书 2/2 页 3 CN 115392048 A 3