Debugging Design Errors by Using Unsatisfiable Cores

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
PublisherGesellschaft der Informatik
Pages159-168
ISBN (Print)978-3-8322-6962-3
Publication statusPublished - 2008
EventWorkshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Freiburg, Breisgau, Germany
Duration: 3 Mar 20085 Mar 2008

Conference

ConferenceWorkshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
CountryGermany
CityFreiburg, Breisgau
Period3/03/085/03/08

Cite this

Suelflow, A., Fey, G., Bloem, R. P., & Drechsler, R. (2008). Debugging Design Errors by Using Unsatisfiable Cores. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 159-168). Gesellschaft der Informatik.