Cadence Design Systems, Inc.

Cadence Design (israel) II Ltd.

Vitaly Lagoon

Yael Kinderman

Amos Noy

Efrat Gavish

Shlomi Uziel

Yoav Hollander

Matan Vax

Guy Baruch

Amit Gal

A method and system are provided for automatically generating executable system-level tests from an initial action or partially specified scenario by accumulating necessary complement actions and forming a set of constraints required by the initial action and the necessary complement actions. The set of constraints is solved by a constraint solving engine to provide an at least partial sequence of the actions and parameters thereto that satisfies the set of constraints. The sequence of actions that comply with the set of constraints are used to generate an executable system-level test code.

Systems and methods for automatically generating executable system level-tests from a partially specified scenario

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.

System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction

A method for enabling bitwise or bit slice constraints to be provided as part of the test generation process, by providing a language structure which enables these constraints to be expressed in a test generation language such as e code for example. The language structure for such bitwise constraints is then handled in a more flexible manner, such that the test generation process does not attempt to rigidly 'solve' the expression containing the constraint as a function. Therefore, the propagation of constraints in such a structure do not necessarily need to be propagated from left to right, but instead are generated in a multi-directional manner. The language structure is particularly suitable for such operators as '[: ]', &#x201c;|&#x201d;, &#x201c;&&#x201d;, &#x201c;^&#x201d;, &#x201c;&#x2dc;&#x201d;, &#x201c;&#x3e;&#x3e;&#x201d; and &#x201c;&#x3c;&#x3c;&#x201d;.

Method for providing bitwise constraints for test generation

Growing community of inventors

Caulfield South, Australia

Vitaly Lagoon