Kevin T Hauck

US Patent:

7788833, Sep 7, 2010

Filed:

Feb 9, 2007

Appl. No.:

11/673545

Inventors:

Lane T. Hauck - San Diego CA, US
Kevin T. Hauck - Stanford CA, US

International Classification:

G09F 13/00

US Classification:

40442, 40544, 36224905, 36224913, 362295, 315185 S, 315312

Abstract:

An animated light source and method are provided. The light source may include a plurality of solid-state emitters and a control circuit for controlling the selective energization of the emitters individually to from a beam of light along an axis. The emitters may be selectively energized to provide the appearance of motion of light within the beam.

US Patent:

6412046, Jun 25, 2002

Filed:

May 1, 2000

Appl. No.:

09/562130

Inventors:

Debendra Das Sharma - Santa Clara CA
Kevin Hauck - Sunnyvale CA
Daniel F. Li - Saratoga CA

Assignee:

Hewlett Packard Company - Palo Alto CA

International Classification:

G06F 1200

US Classification:

711137, 711204, 712207, 714 32, 714 36

Abstract:

A method and apparatus automatically and easily verifies a cache line prefetch mechanism. The verification method includes a strict definition of which cache lines should be prefetched and which cache lines should not. The method also emphasizes unusual operating conditions. For example, by exercising boundary conditions, the method by stresses situations in which a microprocessor or chip is likely to produce errors. The method can verify prefetch without having to access or view any internal signals or buses inside the chip. The method can be adopted in any system-level verification methodology in simulation, emulation, or actual hardware. The method can be used in a system-level test set up along with a chip-level test set up without requiring knowledge of the internal state of the chip. In this case, checking is done at the chip boundary. The method is automated and performs strict checks on overprefetch, underprefetch, and the relative order in which fetch and prefetches must occur.