跨个别过程增强约束求解器的性能制造技术

本发明专利技术的一个实施例提供一种用于重用与针对问题域的约束求解运算关联的信息的系统。该系统通过从问题域接收约束问题来开始。然后，该系统在问题高速缓存中搜寻与规范表示对应的条目。如果对应条目在问题高速缓存中不存在，则该系统在问题高速缓存中产生用于规范表示的条目。否则，如果对应条目已经存在于问题高速缓存中，则该系统通过重用与问题高速缓存中的对应条目关联的求解器试探法来生成规范表示的解。

【技术实现步骤摘要】
【国外来华专利技术】
本专利技术主要地涉及用于求解针对问题域的约束问题的技术。具体而言，本专利技术涉 及一种用于跨一个或者多个问题域重用与约束求解运算关联的信息的系统。
技术介绍
半导体制造技术的发展已经引起每个半导体器件的晶体管数量的显著增长。晶体 管个数的这一增长使计算机架构师能够创造出设计复杂性与日俱增的数字电路设计。因 而，随着数字电路设计变得更复制，验证所得实施的正确性这一任务变得更加复杂。为此，电路设计团队依赖于自动化技术以处理与日俱增的设计复杂性。在这样做 时，这些设计团队针对与实施和验证电路设计的功能关联的诸多应用来执行约束求解运 算。在一种应用中，这些设计团队执行约束求解运算以生成受约束的随机输入刺激以朝着 重要拐角情况驱动给定的电路仿真。在另一应用中，这些设计团队在电路合成期间执行约 束求解运算。然而，这些应用可能由于大量递归的复杂约束满足问题而负担过重。另外，多 个独立问题域(即应用实例)必须时常求解类似的复杂约束满足问题，其中一个独立问题 域可以持续从另一问题域的经验中受益。
技术实现思路
本专利技术的一个实施例提供一种用于重用与针对问题域的约束求解运算关联的信 息的系统。该系统通过本文档来自技高网...

【技术保护点】
一种用于重用与针对问题域的约束求解运算关联的信息的方法，所述方法包括：　　从所述问题域接收用于约束问题的规范表示；　　在问题高速缓存中搜寻与所述规范表示对应的条目；并且　　如果对应条目在所述问题高速缓存中不存在，则在所述问题高速缓存中产生用于所述规范表示的条目；　　否则，如果对应条目存在于所述问题高速缓存中，则通过重用与所述问题高速缓存中的所述对应条目关联的求解器试探法来生成所述规范表示的解。

【技术特征摘要】
【国外来华专利技术】2008.07.21 US 12/176,8821.一种用于重用与针对问题域的约束求解运算关联的信息的方法，所述方法包括从所述问题域接收用于约束问题的规范表示；在问题高速缓存中搜寻与所述规范表示对应的条目；并且如果对应条目在所述问题高速缓存中不存在，则在所述问题高速缓存中产生用于所述 规范表示的条目；否则，如果对应条目存在于所述问题高速缓存中，则通过重用与所述问题高速缓存中 的所述对应条目关联的求解器试探法来生成所述规范表示的解。2.根据权利要求1所述的方法，其中在所述问题高速缓存中产生用于所述规范表示的 条目包括在所述问题高速缓存中存储所述约束问题的所述规范表示；从多个可用试探法中选择求解器试探法；通过使用所述选择的求解器试探法来生成所述规范表示的解，其中只要所述选择的试 探法无法在预定时间段内生成解，则系统选择新的求解器试探法并且使用所述新的试探法 以生成所述规范表示的解；并且将所述选择的求解器试探法与所述问题高速缓存中的所述规范表示条目关联。3.根据权利要求1所述的方法，其中所述方法还包括监视在生成规范表示的解时的 计算时间，并且在所述问题高速缓存中的所述对应规范表示条目中存储所述计算时间。4.根据权利要求3所述的方法，其中所述方法还包括使用后台过程来精化对求解器试 探法的选择。5.根据权利要求1所述的方法，其中执行所述方法的求解器服务器能够执行多个同时 线程，其中相应线程与独立约束问题关联。6.根据权利要求1所述的方法，其中所述方法还包括将约束问题转换成规范表示。7.根据权利要求1所述的方法，其中所述方法还包括通过在所述问题高速缓存中记录 和保留用来第一次求解指定的规范表示的求解器试探法、由此允许当在以后时间求解所述 指定的规范表示时使用相同试探法来提供用于所述规范表示的持久解。8.根据权利要求7所述的方法，其中所述方法还包括通过在所述问题高速缓存中记录 和保留用来第一次求解指定的规范表示的随机种子、由此允许系统产生与求解个别规范表 示的顺序无关的恒定解来为所述规范表示提供随机稳定性。9.根据权利要求1所述的方法，其中所述方法还包括记录用于问题域的约束问题解 序列，并且为后续问题域重放所述解序列。10.根据权利要求1所述的方法，其中所述方法还包括跨与一个或者多个应用关联的 多个独立问题域重用所述问题高速缓存的信息。11.一种存储指令的计算机可读存储介质，所述指令在由计算机执行时使所述计算机 执行一种用于重用与针对问题域的约束求解运算关联的信息的方法，所述方法包括从所述问题域接收用于约束问题的规范表示；在问题高速缓存中搜寻与所述规范表示对应的条目；并且如果对应条目在所述问题高速缓存中不存在，则在所述问题高速缓存中产生用于所述 规范表示的条目；否则，如果对应条目存在于所述问题高速缓存中，则通过重用与所述问题高速缓存中的所述对应条目关联的求解器试探法来生成所述规范表示的解。12.根据权利要求11所述的计算机可读存储介质，其中在所述问题高速缓存中产生用 于所述规范表示的条目包括在所述问题高速缓存中存储所述约束问题的所述规范表示；从多个可用试探法中选择求解器试探法；通过使用所述选择的求解器试探法来生成所述规范表示的解，其中只要所述选择的试 探法无法在预定时间段内生成解，系统选择新的求解器试探法并且使用所述新的试探法以 生成所述规范表示的解；并且将所述选择的求解器试探法与所述问题高速缓存中的所述规范表示条目关联。13.根据权利要求11所述的计算机可读存储介质，其中所述方法还包括使用后台过程 来精化对求解器试探法的选择。14.根据权利要求11所述的计算机可读存储介质，其中执行所述方法的求解器服务器 ...

【专利技术属性】
技术研发人员：G·R·玛图拉纳，
申请(专利权)人：新思科技有限公司，
类型：发明
国别省市：US