USING SYMBOLIC EXECUTION TO VALIDATE A HARDWARE CONFIGURATION WITH A SOFTWARE IMPLEMENTATION OF PROCESSING RULES

USING SYMBOLIC EXECUTION TO VALIDATE A HARDWARE CONFIGURATION WITH A SOFTWARE IMPLEMENTATION OF PROCESSING RULES

Provided are a computer program product, system, and method for using symbolic execution to validate a hardware configuration with a reference software implementation of processing rules. Symbolic execution is performed of a software model comprising executable code defining logic of a hardware pipe...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: STOICA, Radu Ioan, LADEN, GUY, NEAL, Ian Glen, PARK, Yoonho, IOANNOU, Nikolas, SCHOUR, LIRAN
Format: Patent
Sprache:eng
Schlagworte:
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Provided are a computer program product, system, and method for using symbolic execution to validate a hardware configuration with a reference software implementation of processing rules. Symbolic execution is performed of a software model comprising executable code defining logic of a hardware pipeline to produce first symbolic output. Symbolic execution is performed of a reference software implementation of processing rules implemented in the hardware pipeline to produce second symbolic output. The first symbolic output and the second symbolic are compared output to determine a discrepancy between the first and the second symbolic outputs. The discrepancy is reported including report information on a cause of the discrepancy.