International Business Machines Corporation

Dimtry Krestyashyn

Amir Nahir

Shakti Kapoor

Manoj Dusanapudi

Allon Adir

John Andrew Schumann

Vitali Sokhin

Gil Eliezer Shurek

Wisam Kadry

Charles Meissner

Shimon Landa

A method includes executing a first post-silicon testing program by a reference model. During the execution of the first post-silicon testing program, one or more test-cases are generated. The first post-silicon testing program is executed in an offline generation mode. During execution of the first post-silicon testing program each test case is generated in a different memory location. After the execution, generating a second post-silicon testing program that is configured to execute the one or more test-cases. The method further includes executing the second post-silicon testing program on an acceleration platform.

Hardware verification using acceleration platform

A computer-implemented method and apparatus, comprising: having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise two or more entities adapted to store values, and one or more entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit; storing symbols into an associated target memory location by each of the entities adapted to store values, wherein symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction; loading a multiplicity of private memory locations by the at least one entity adapted to load values, to obtain loaded values; and analyzing the loaded values for at least one invariant.

Method, apparatus and product for testing transactions

Growing community of inventors

Haifa, Israel

Dimtry Krestyashyn