Using reconfigurable computing techniques to accelerate problems in the CAD domain: A case study with Boolean satisfiability

The Boolean satisfiability problem lies at the core of several CAD applications, including automatic test pattern generation and logic synthesis. This paper describes and evaluates an approach for accelerating Boolean satisfiability using configurable hardware. Our approach harnesses the increasing...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Zhong, Peixin, Ashar, Pranav, Malik, Sharad, Martonosi, Margaret
Format:	Tagungsbericht
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!