International Business Machines Corporation

Karen Holtz

Raanan Gewirtzman

Silvia Melitta Mueller

Gal Ashour

Michal Rimon

Daniel Geist

Oz Dov Hershkovitz

Ronny Morad

Eitan Marcus

Avishai Moshe Fedida

Monica Farkash

Danny Geist

Idan Horowitz

Hillel Mendelson

Monica Farkas

Ido Plat

Dani Szebenyi

A computer system, computer readable storage medium, and computer-implemented method for generating a test program for a device-under-test (DUT). The method includes transmitting a plurality of uncompiled snippets and a plurality of uncompiled micro-functions into a compiler. The method also includes selecting, randomly, a portion of uncompiled micro-functions from the plurality of uncompiled micro-functions. The method further includes compiling the uncompiled snippets and the portion of uncompiled micro-functions, thereby generating a plurality of compiled snippets and a compiled portion of micro-functions. The method also includes interweaving, randomly, the compiled portion of micro-functions with the plurality of compiled snippets, thereby at least partially generating a test program for the DUT. The method further includes executing one or more post-silicon validation tests for the DUT with the test program.

Random function selection and insertion during compilation for post-silicon validation

Validating microprocessor instruction execution by receiving a floating-point exception selection, receiving a validation method selection, generating validation data according to the floating-point exception selection and the validation method selection by randomly generating a first tensor element value and randomly generating a second tensor element value according to the first tensor element value and the floating-point exception selection, and executing a floating-point computation according to the validation data.

Validating microprocessor performance

A method of automatically defining a new class in a class hierarchy includes creating a descendent class that descends from one or more specified ancestor classes; sequentially analyzing each class along each inheritance path from the specified ancestor classes to a specified similar class to identify each class item in each class that is not selected from the specified ancestor classes; storing a respective pointer for each class item identified in each class that is not inherited by the class referencing the class item and associated with the class; storing a respective pointer for each class item identified in each class that is inherited and redefined by the class referencing the class item and being associated with the class if a pointer referencing the class item is not already stored; and copying each class item referenced by a stored pointer to the descendent class.

Automatic copying by ancestor in object-oriented languages

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.

Synchronization for system analysis

A synchronization method including running a system ( ) having multiple agents ( and ) in parallel operation, the multiple agents each having at least one path ( ) to a common bus ( ). A bus arbitration mechanism ( ) is used to synchronize between said multiple agents in accordance with a predetermined scheme, including blocking ( ) at least one individual agent's path to the common bus ( ) if said scheme indicates ( ) that said individual agent is not to be activated, and restoring ( ) said at least one individual agent's path ( ) to the common bus ( ) once said scheme indicates that said individual agent ( ) can be activated.

Synchronization using bus arbitration control for system analysis

Growing community of inventors

Jerusalem, Israel

Karen Holtz