专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20080092096A1 METHOD AND SYSTEM FOR OPTIMIZED AUTOMATED CASE-SPLITTING VIA CONSTRAINTS IN A SYMBOLIC SIMULATION FRAMEWORK 审中-公开
标题翻译：通过符号模拟框架中的约束优化自动分割的方法和系统
公开(公告)号：US20080092096A1
公开(公告)日：2008-04-17
申请号：US11954626
申请日：2007-12-12
申请人： JASON BAUMGARTNER , Christian Jacobi , Viresh Paruthi , Kai Weber
发明人： JASON BAUMGARTNER , Christian Jacobi , Viresh Paruthi , Kai Weber
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method for performing verification is proposed. The method comprises receiving a design and building an intermediate binary decision diagram for the design containing one or more nodal binary decision diagrams. In response to a size of the intermediate binary decision diagram exceeding a size threshold, a node of the design is selected for case-splitting. A first case-splitting is performed upon the selected node of the design to generate a primary constraint for setting the selected node to a primary value. A first constraining is performed on one of the one or more nodal binary decision diagrams with the primary constraint to generate a primary final binary decision diagram, a first verification of the design is performed using the primary final binary decision diagram.
摘要翻译：提出了一种执行验证的方法。该方法包括接收设计并构建用于包含一个或多个节点二进制决策图的设计的中间二进制决策图。响应于超过尺寸阈值的中间二进制判定图的大小，设计的节点被选择用于案例分割。在设计的所选节点上执行第一个案例分解，以生成将所选节点设置为主值的主约束。在具有主要约束的一个或多个节点二进制决策图中的一个上执行第一约束以生成主要的最终二进制决策图，使用主要的最终二进制决策图来执行设计的第一次验证。

2. 发明申请

US20080066033A1 Method and System for Performing Heuristic Constraint Simplification 失效
标题翻译：用于执行启发式约束简化的方法和系统
公开(公告)号：US20080066033A1
公开(公告)日：2008-03-13
申请号：US11940711
申请日：2007-11-15
申请人： JASON BAUMGARTNER , ROBERT KANZELMAN , HARY MONY , VIRESH PARUTHI
发明人： JASON BAUMGARTNER , ROBERT KANZELMAN , HARY MONY , VIRESH PARUTHI
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method for performing verification is disclosed. The method includes selecting a first computer-design constraint for simplification and applying structural reparamaterization to simplify the first computer-design constraint. In response to determining that the first computer-design constraint is not eliminated, the first computer-design constraint is set equal to a dead-end state of the constraint. A structural preimage of the first computer-design constraint is created, in response to determining that a combination of a target and the dead-end state of the first computer-design constraint is equal to a combination of the target and the structural preimage of the first computer-design constraint, the first computer-design constraint is set equal to the structural preimage.
摘要翻译：公开了一种用于执行验证的方法。该方法包括选择第一计算机设计约束以简化并应用结构化重新定位以简化第一计算机设计约束。响应于确定第一计算机设计约束不被消除，第一计算机设计约束被设置为等于约束的死端状态。响应于确定第一计算机设计约束的目标和死端状态的组合等于目标和第一计算机设计约束的结构前图像的组合，创建第一计算机设计约束的结构预图像第一个计算机设计约束，第一个计算机设计约束被设置为等于结构前像。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式