SAT-based methods for circuit synthesis

Roderick Paul Bloem; Uwe Egly; Patrick Klampfl; Robert Könighofer; Florian Lonsing

doi:10.1109/FMCAD.2014.6987592

SAT-based methods for circuit synthesis

Roderick Paul Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Formal Methods in Computer-Aided Design
Herausgeber (Verlag)	Institute of Electrical and Electronics Engineers
Seiten	31-34
ISBN (Print)	978-0-9835678-4-4
DOIs	https://doi.org/10.1109/FMCAD.2014.6987592
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	International Conference on Formal Methods in Computer-Aided Design - Lausanne, Schweiz Dauer: 21 Okt. 2014 → 24 Okt. 2014

Konferenz

Konferenz	International Conference on Formal Methods in Computer-Aided Design
Land/Gebiet	Schweiz
Ort	Lausanne
Zeitraum	21/10/14 → 24/10/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

10.1109/FMCAD.2014.6987592

extended.pdfEndgültige, publizierte Fassung, 486 KB

Andere Dateien und Links

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Projekt: Foschungsprojekt
FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Projekt: Foschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Foschungsprojekt

Dieses zitieren

@inproceedings{bb84d979e17841ad8e1837bce62ba5bb,

title = "SAT-based methods for circuit synthesis",

author = "Bloem, {Roderick Paul} and Uwe Egly and Patrick Klampfl and Robert K{\"o}nighofer and Florian Lonsing",

year = "2014",

doi = "10.1109/FMCAD.2014.6987592",

language = "English",

isbn = "978-0-9835678-4-4",

pages = "31--34",

booktitle = "Formal Methods in Computer-Aided Design",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "International Conference on Formal Methods in Computer-Aided Design ; Conference date: 21-10-2014 Through 24-10-2014",

}

TY - GEN

T1 - SAT-based methods for circuit synthesis

AU - Bloem, Roderick Paul

AU - Egly, Uwe

AU - Klampfl, Patrick

AU - Könighofer, Robert

AU - Lonsing, Florian

PY - 2014

Y1 - 2014

UR - http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/index.shtml

UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6987592

U2 - 10.1109/FMCAD.2014.6987592

DO - 10.1109/FMCAD.2014.6987592

M3 - Conference paper

SN - 978-0-9835678-4-4

SP - 31

EP - 34

BT - Formal Methods in Computer-Aided Design

PB - Institute of Electrical and Electronics Engineers

T2 - International Conference on Formal Methods in Computer-Aided Design

Y2 - 21 October 2014 through 24 October 2014

ER -

SAT-based methods for circuit synthesis

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur

RiSE - Rigorous Systems Engineering

Dieses zitieren