Symbolically Synthesizing Small Circuits

Rüdiger Ehlers; Robert Könighofer; Georg Hofferek

Symbolically Synthesizing Small Circuits

Rüdiger Ehlers, Robert Könighofer, Georg Hofferek

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)
Publisher	.
Pages	91-100
Publication status	Published - 2012
Event	International Conference on Formal Methods in Computer-Aided Design - Cambridge, United Kingdom Duration: 22 Oct 2012 → 25 Oct 2012

Conference

Conference	International Conference on Formal Methods in Computer-Aided Design
Country/Territory	United Kingdom
City	Cambridge
Period	22/10/12 → 25/10/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Access to Document

fmcad12.pdfFinal published version, 393 KB

Cite this

@inproceedings{f892a02297494757b94e3138512f39b7,

title = "Symbolically Synthesizing Small Circuits",

author = "R{\"u}diger Ehlers and Robert K{\"o}nighofer and Georg Hofferek",

year = "2012",

language = "English",

pages = "91--100",

booktitle = "Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)",

publisher = ".",

note = "International Conference on Formal Methods in Computer-Aided Design ; Conference date: 22-10-2012 Through 25-10-2012",

}

TY - GEN

T1 - Symbolically Synthesizing Small Circuits

AU - Ehlers, Rüdiger

AU - Könighofer, Robert

AU - Hofferek, Georg

PY - 2012

Y1 - 2012

UR - http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/

M3 - Conference paper

SP - 91

EP - 100

BT - Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)

PB - .

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

Y2 - 22 October 2012 through 25 October 2012

ER -

Symbolically Synthesizing Small Circuits

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

RiSE - Rigorous Systems Engineering

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Cite this

Symbolically Synthesizing Small Circuits

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

RiSE - Rigorous Systems Engineering

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Cite this