Debugging Design Errors by Using Unsatisfiable Cores

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

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

Originalspracheenglisch
TitelMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Herausgeber (Verlag)Gesellschaft der Informatik
Seiten159-168
ISBN (Print)978-3-8322-6962-3
PublikationsstatusVeröffentlicht - 2008
VeranstaltungWorkshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Freiburg, Breisgau, Deutschland
Dauer: 3 Mär 20085 Mär 2008

Konferenz

KonferenzWorkshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
LandDeutschland
OrtFreiburg, Breisgau
Zeitraum3/03/085/03/08

Dieses zitieren