Using unsatisfiable cores to debug multiple design errors

Andre Suelflow, Goerschwin Fey, Roderick Paul Bloem, Rolf Drechsler

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelProceedings of the 18th ACM Great Lakes symposium on VLSI
Herausgeber (Verlag).
Seiten77-82
DOIs
PublikationsstatusVeröffentlicht - 2008
VeranstaltungACM Great Lakes Symposium on VLSI - Orlando, Fla., USA / Vereinigte Staaten
Dauer: 4 Mai 20086 Mai 2008

Konferenz

KonferenzACM Great Lakes Symposium on VLSI
LandUSA / Vereinigte Staaten
OrtOrlando, Fla.
Zeitraum4/05/086/05/08

Dieses zitieren