Daniel R Crouse, 55291 County Highway 5, Otsdawa, NY 13825

2008027, Oct 30, 2008

Apr 30, 2007

11/742100

Daniel R. CROUSE - Hyde Park NY, US
Gernot E. GUENTHER - Endicott NY, US
Viktor GYURIS - Wappingers Falls NY, US
Harrell HOFFMAN - Austin TX, US
Kevin A. PASNIK - Cedar Park TX, US
Thomas J. TRYT - Binghamton NY, US
John H. WESTERMANN - Endicott NY, US

INTERNATIONAL BUSINESS MACHINES CORPORATION - Armonk NY

G06F 15/00

712 20

A system and method for design verification and, more particularly, a hardware simulation accelerator design and method that exploits a parallel structure of user models to support a large user model size. The method includes a computer including N number of logic evaluation units (LEUs) that share a common pool of instruction memory (IM). The computer infrastructure is operable to: partition a number of parallel operations in a netlist; and send a same instruction stream of the partitioned number of parallel operations to N number of LEUs from a single IM. The system is a hardware simulation accelerator having a computer infrastructure operable to provide a stream of instructions to multiple LEUs from a single IM. The multiple LEUs are clustered together with multiple IMs such that each LEU is configured to use instructions from any of the multiple IMs thereby allowing a same instruction stream to drive the multiple LEUs.

2002007, Jun 13, 2002

Dec 7, 2000

09/732272

Daniel Crouse - Hyde Park NY, US
Harrell Hoffman - Austin TX, US

IBM Corporation

G06F017/50

703/014000

A method and system are described for efficiently overriding a value of a net in an array during execution of a test routine. The logic simulator machine is simulating a logic design which includes the array and multiple nets. A current value of the net is set equal to an override value. A normal update to the array is permitted to occur during execution of a single cycle of the test routine. A determination is then made regarding whether the override value is still stored in the array for the particular net. If the override value is not still stored in the array for this net, normal updates to the array are prohibited during a single cycle of the test routine. During this cycle of the test routine, the override value is then again stored in the net as the current value of the net. This override value is thus made available to be read during this cycle of the test routine while writes to the array are disabled. Normal updates are then again permitted to occur to the array in subsequent cycles of the test routine.