Work

Improved Design Debugging Using Maximum Satisfiability

Year: 2007

Type: conference-paper

Source: Formal Methods in Computer-Aided Design

DOI: 10.1109/famcad.2007.26

Authors: Sean Safarp, Hratch Mangassarian, Andreas Veneris, Mark H. Liffiton, Karem A. Sakallah

Institutions: University of Toronto, University of Michigan

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3141991053

FWCI: 3.337

Cites: 11

Cited by: 80

Related to: 10