Using unsatisfiable cores to debug multiple design errors

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of the 18th ACM Great Lakes symposium on VLSI
Herausgeber (Verlag)	.
Seiten	77-82
DOIs	https://doi.org/10.1145/1366110.1366131
Publikationsstatus	Veröffentlicht - 2008
Veranstaltung	ACM Great Lakes Symposium on VLSI - Orlando, Fla., USA / Vereinigte Staaten Dauer: 4 Mai 2008 → 6 Mai 2008

Konferenz	ACM Great Lakes Symposium on VLSI
Land/Gebiet	USA / Vereinigte Staaten
Ort	Orlando, Fla.
Zeitraum	4/05/08 → 6/05/08

Zugriff auf Dokument

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet

@inproceedings{d555942d15da4ffdb0ab8470749840d4,

title = "Using unsatisfiable cores to debug multiple design errors",

author = "Andre Suelflow and Goerschwin Fey and Bloem, {Roderick Paul} and Rolf Drechsler",

year = "2008",

doi = "10.1145/1366110.1366131",

language = "English",

pages = "77--82",

booktitle = "Proceedings of the 18th ACM Great Lakes symposium on VLSI",

publisher = ".",

note = "ACM Great Lakes Symposium on VLSI ; Conference date: 04-05-2008 Through 06-05-2008",

}

TY - GEN

T1 - Using unsatisfiable cores to debug multiple design errors

AU - Suelflow, Andre

AU - Fey, Goerschwin

AU - Bloem, Roderick Paul

AU - Drechsler, Rolf

PY - 2008

Y1 - 2008

U2 - 10.1145/1366110.1366131

DO - 10.1145/1366110.1366131

M3 - Conference paper

SP - 77

EP - 82

BT - Proceedings of the 18th ACM Great Lakes symposium on VLSI

PB - .

T2 - ACM Great Lakes Symposium on VLSI

Y2 - 4 May 2008 through 6 May 2008

ER -