SAT-Based Techniques in System Synthesis

13 years 9 months ago

Download www.date-conference.com

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.

Christian Haubelt, Jürgen Teich, Rainer Feldm

Real-time Traffic

DATE 2003 | Hardware | Integrate | SAT-based Techniques |

claim paper

» Translating PseudoBoolean Constraints into SAT

» An examplebased motion synthesis technique for locomotion and object manipulation

» Tutorial Design of a Logic Synthesis System

» A Voltage and Resource Synthesis Technique for EnergyAware Realtime Systems

» Information Hiding in Finite State Machine

» Synthesis of optimal switching logic for hybrid systems

» Dynamic scheduling and synchronization synthesis of concurrent digital systems under syste...

» Program Synthesis for Multiagent Question Answering

» Techniques for crosstalk avoidance in the physical design of highperformance digital syste...

Post Info
More Details (n/a)

Added	04 Jul 2010
Updated	04 Jul 2010
Type	Conference
Year	2003
Where	DATE
Authors	Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien

Comments (0)

Sciweavers

SAT-Based Techniques in System Synthesis

DATE 2003 | Hardware | Integrate | SAT-based Techniques |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers