In Bearbeitung

Bitte warten ...

Einstellungen

Einstellungen

Gehe zu Anmeldung

1. US20100057424 - Method for evaluating a test program quality

Amt Vereinigte Staaten von Amerika
Aktenzeichen/Anmeldenummer 11658930
Anmeldedatum 28.07.2005
Veröffentlichungsnummer 20100057424
Veröffentlichungsdatum 04.03.2010
Erteilungsnummer 08311793
Erteilungsdatum 13.11.2012
Veröffentlichungsart B2
IPC
G06F 17/50
GPhysik
06Datenverarbeitung; Rechnen oder Zählen
FElektrische digitale Datenverarbeitung
17Digitale Rechen- oder Datenverarbeitungsanlagen oder –verfahren, besonders ausgebildet für spezielle Funktionen
50Computergestütztes Entwurfsystem
Anmelder Springsoft USA, Inc.
Erfinder Grosse Joerg
Hampton Mark
Vertreter McDermott Will & Emery LLP
Prioritätsdaten 10 2004 037 402 30.07.2004 DE
Titel
(EN) Method for evaluating a test program quality
Zusammenfassung
(EN)

The disclosure relates to a method for rating the quality of a test program for integrated circuits simulated by means of a computer. The method includes provision of a first file which describes an integrated circuit; simulation of a mutated integrated circuit which is obtained by incorporating mutations into the integrated circuit described in the first file; supplying input values to the mutated integrated circuit and recording of the output values produced for these input values by the mutated integrated circuit; comparison of the output values produced by the mutated integrated circuit with expected values which are provided by the test program, where the expected values have been generated in a reference system; and rating of the quality of the test program on the basis of the comparison results.

Auch veröffentlicht als