Cadence Design Systems, Inc.

Amit Gal

Amos Noy

Shlomi Uziel

Yael Kinderman

Vitaly Lagoon

Method and apparatus for performing static analysis optimization in a design verification system is described. In one example, a description of a verification environment having constrained objects is obtained. The constrained objects are analyzed incrementally to create a data structure of nodes. Each node includes a description of variables transitively connected by constraints. At least one of the nodes reuses a description from at least one other node. The data structure is then used during logic design verification.

Method and apparatus for performing static analysis optimization in a design verification system

The present invention provides a system and method for resolving a test generation problem involving constraint resolution problems where a verification environment includes constraints that are suitable for resolution using one type of solver for a first domain and other constraints that are suitable for resolution using a different solver in a second domain. The invention further comprises variables and, in instances where at least one variable is in each of the first and second domains, using these solvers to restrict the set of permissible values of variables to be consistent in multiple domains, preferably in all relevant domains. A constraint resolution problem is divided into clusters of constraints connected within a domain, and connected clusters of clusters that are connected through shared variables that are subject to constraints in more than one cluster. A preferred solver is applied to constraints in each of various domains such that constraints in multiple clusters and domains in a connected cluster are consistent for connected constraints in a domain, and preferably all constraints in all clusters in all domains within the connected cluster are consistent.

Growing community of inventors

London, United Kingdom

Amit Gal