RANDOM TEST GENERATION USING AN OPTIMIZATION SOLVER

A computer-implemented method for verifying a design includes converting test specifications of the design into a set of constraints defined over variables, such that solutions that satisfy the set of constraints define respective valid test cases for verifying the design. An objective function is d...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	SHILOACH YOSSI, NAHIR AMIR
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING MEASURING MEASURING ELECTRIC VARIABLES MEASURING MAGNETIC VARIABLES PHYSICS TESTING
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!