Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

Georg Hofferek; Roderick Paul Bloem

doi:10.1109/MEMCOD.2011.5970508

Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

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	Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011)
Place of Publication	Piscataway, NJ, USA
Publisher	Institute of Electrical and Electronics Engineers
Pages	31-42
ISBN (Print)	978-1-4577-0116-0
DOIs	https://doi.org/10.1109/MEMCOD.2011.5970508
Publication status	Published - 2011
Event	ACM/IEEE International Conference on Formal Methods and Models for Codesign - Cambridge, United Kingdom Duration: 11 Jul 2011 → 13 Jul 2011

Conference

Conference	ACM/IEEE International Conference on Formal Methods and Models for Codesign
Country/Territory	United Kingdom
City	Cambridge
Period	11/07/11 → 13/07/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)
Theoretical

Access to Document

10.1109/MEMCOD.2011.5970508

PID1851741.pdfFinal published version, 411 KB

Cite this

Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions. / Hofferek, Georg; Bloem, Roderick Paul.
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011). Piscataway, NJ, USA: Institute of Electrical and Electronics Engineers, 2011. p. 31-42.

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

Hofferek, G & Bloem, RP 2011, Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions. in Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011). Institute of Electrical and Electronics Engineers, Piscataway, NJ, USA, pp. 31-42, ACM/IEEE International Conference on Formal Methods and Models for Codesign, Cambridge, United Kingdom, 11/07/11. https://doi.org/10.1109/MEMCOD.2011.5970508

@inproceedings{603e3d2d40944193917d90e2cf45b930,

title = "Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions",

author = "Georg Hofferek and Bloem, {Roderick Paul}",

year = "2011",

doi = "10.1109/MEMCOD.2011.5970508",

language = "English",

isbn = "978-1-4577-0116-0",

pages = "31--42",

booktitle = "Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "ACM/IEEE International Conference on Formal Methods and Models for Codesign ; Conference date: 11-07-2011 Through 13-07-2011",

}

TY - GEN

T1 - Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2011

Y1 - 2011

UR - http://research.microsoft.com/en-us/um/cambridge/events/memocode2011/

UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5970508&tag=1#

U2 - 10.1109/MEMCOD.2011.5970508

DO - 10.1109/MEMCOD.2011.5970508

M3 - Conference paper

SN - 978-1-4577-0116-0

SP - 31

EP - 42

BT - Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011)

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway, NJ, USA

T2 - ACM/IEEE International Conference on Formal Methods and Models for Codesign

Y2 - 11 July 2011 through 13 July 2011

ER -

Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

RiSE - Rigorous Systems Engineering

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

Formal Methods for Design & Verification

Cite this

Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

RiSE - Rigorous Systems Engineering

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

Formal Methods for Design & Verification

Cite this