SAT-Based Techniques in System Synthesis

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Christian Haubelt Articles by Jürgen Teich Articles by Rainer Feldmann Articles by Burkhard Monien

Design, Automation and Test in Europe Conference and Exhibition (DATE'03)

SAT-Based Techniques in System Synthesis (PDF)

Munich, Germany

March 03-March 07

ISBN: 0-7695-1870-2

	ASCII Text	x
	Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien, "SAT-Based Techniques in System Synthesis," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 11168, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003.

	BibTex	x
	@article{ 10.1109/DATE.2003.10032, author = {Christian Haubelt and Jürgen Teich and Rainer Feldmann and Burkhard Monien}, title = {SAT-Based Techniques in System Synthesis}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {1}, year = {2003}, issn = {1530-1591}, pages = {11168}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10032}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - SAT-Based Techniques in System Synthesis SN - 1530-1591 SP EP A1 - Christian Haubelt, A1 - Jürgen Teich, A1 - Rainer Feldmann, A1 - Burkhard Monien, PY - 2003 KW - null VL - 1 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

Christian Haubelt, University of Erlangen-Nuremberg

Jürgen Teich, University of Erlangen-Nuremberg

Rainer Feldmann, University of Paderborn

Burkhard Monien, University of Paderborn

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10032

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.

Citation:

Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien, "SAT-Based Techniques in System Synthesis," date, vol. 1, pp.11168, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.