Hari D Angepat

US Patent:

20100250227, Sep 30, 2010

Filed:

Mar 30, 2010

Appl. No.:

12/749595

Inventors:

Derek Chiou - Austin TX, US
Hari Angepat - Austin TX, US
Nikhil Patil - Austin TX, US

Assignee:

Board of Regents The University of Texas System - Austin TX

International Classification:

G06G 7/62

US Classification:

703 21

Abstract:

A method, computer program product and system for detecting that a functional model execution is out-of-order with respect to a target execution. A value of a store instruction to be stored in a memory address, where the store instruction is executed by the functional model, is received by the timing model. This value is stored by the timing model in a target oracle memory at a time when the target system would execute the store instruction. The timing model compares the value in the target oracle memory with the value of a load instruction to be loaded from the same memory address, which is received from the functional model, at a time when the target system would execute the load instruction. The timing model detects an out-of-order instruction stream with respect to the target instruction stream if there is a miscomparison.

US Patent:

20220318112, Oct 6, 2022

Filed:

Jun 17, 2022

Appl. No.:

17/843003

Inventors:

- Redmond WA, US
Hari ANGEPAT - Bellevue WA, US

Assignee:

Microsoft Technology Licensing, LLC - Redmond WA

International Classification:

G06F 11/30
G06F 8/658
G06F 16/14
G06F 16/11

Abstract:

A system for capturing hardware telemetry includes a hardware component encoded with hardware logic for emitting a telemetry stream into memory of a computing device. The system further includes a hardware component driver stored in the memory that is configured to parse the telemetry stream, populate telemetry structures defined within a telemetry event schema based on values parsed from the telemetry stream, and generate a telemetry record including the populated telemetry structures.

US Patent:

20210133069, May 6, 2021

Filed:

Nov 4, 2019

Appl. No.:

16/673503

Inventors:

- Redmond WA, US
Hari ANGEPAT - Bellevue WA, US

International Classification:

G06F 11/30
G06F 16/11
G06F 16/14
G06F 8/658

Abstract:

A system for capturing hardware telemetry includes a hardware component encoded with hardware logic for emitting a telemetry stream into memory of a computing device. The system further includes a hardware component driver stored in the memory that is configured to parse the telemetry stream, populate telemetry structures defined within a telemetry event schema based on values parsed from the telemetry stream, and generate a telemetry record including the populated telemetry structures.