SAT-Based Techniques in System Synthesis

In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality.

• Type: Conference
• Year: 2003
• Where: DATE
• Authors: Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien
• Keywords: DATE 2003, Hardware, Integrate, SAT-based Techniques