Intel Corporation

Oracle International Corporation

Rakesh Mehta

Altug Koker

Ivan Herrera Mejia

Kenneth Chan

Gowtham Raj Karnam

Fylur Rahman Sathakathulla

Grace Y Nordin

Abraham Halevi Fraenkel

Hanmanthrao Patli

Eyal Pniel

Mohsin Ali

Hagay Spector

Ehud Cohn

Sahar Sharabi

Renu Patle

Raghav Ramesh Lakshmi

Described herein is a generic hardware/software communication (HSC) channel that facilitates the re-use of pre-silicon DPI methods to enable FPGA-based post-silicon validation. The HSC channel translates a DPI interface into a hardware FIFO based mechanism. This translation allows the reuse of the methods without having to re-implement the entire flow in pure hardware. The core logic for the transactor remains the same, while only a small layer of the transactor is converted into the FIFO based mechanism.

Hardware software communication channel to support direct programming interface methods on FPGA-based prototype platforms

A system and method for accurately modeling a fault log is provided for validating one or more elements of fault detection and logging logic for a real-time fault log of a digital system such as, for instance, a computer processor. The method includes injecting one or more known faults into a data path and/or a control path of the computer processor and spawning an individual tracking thread for each of the injected faults. The tracking threads may be synchronized at a predefined synchronization point that is selected as a function of a collective logging delay representing the time required for each of the injected faults to reach a real-time logging point within the computer processor. Once synchronized, the tracking threads may be input into a fault logging specification for fault behavior and/or system impact modeling and fault prioritization for use in generating a fault log model for comparison to the real-time fault log maintained within the computer processor.

Cycle accurate fault log modeling for a digital system

Growing community of inventors

San Jose, CA, United States of America

Rakesh Mehta