International Business Machines Corporation

Monica Farkash

Shmuel Ur

Ziv Nevo

Karen Holtz

Raanan Gewirtzman

Danny Geist

A method includes determining whether or not a statement in a design has any functionality. The functionality includes impact on the operation of the design. Also included in the invention is an impact checker to determine the impact of portions of the design on the operation of the design.

Verification technique

A method includes determining whether or not a statement in a design has any functionality. The functionality includes impact on the operation of the design. Also included in the invention is in impact checker to determine the impact of portions of the design on the operation of the design.

Impact checking technique

A method for verification of a system design represented by a model that includes a plurality of variables. The method includes arranging the variables in an Ordered Binary Decision Diagram (OBDD) according to an initial order of the variables, the OBDD including a number of nodes arranged in rows corresponding respectively to the plurality of the variables. Each processor, among a group of two or more computer processors, is assigned a respective variable among the plurality of the variables. Using each processor, the rows of the OBDD are reordered by varying a position in the OBDD of the row corresponding to the respective variable that is assigned to the processor until at least one of the processors identifies a new order for the OBDD. The new order of the OBDD may be used to verify a characteristic of the model against a specification.

Distributed BDD reordering

A synchronization method including running ( ) a system ( ) having multiple agents ( ) in parallel operation and forcing synchronization order ( ) between the multiple agents at at least one intervention juncture. Preferably, the multiple agents ( ) include at least two agents ( ) accessing a single address at almost the same time. Further preferably, the forcing step includes forcing a predetermined one ( ) of said two agents to access said address before the other one ( ) of said two agents accesses said address.

Growing community of inventors

Haifa, Israel

Monica Farkash