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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

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

Originalsprache	englisch
Titel	Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011)
Erscheinungsort	Piscataway, NJ, USA
Herausgeber (Verlag)	Institute of Electrical and Electronics Engineers
Seiten	31-42
ISBN (Print)	978-1-4577-0116-0
DOIs	https://doi.org/10.1109/MEMCOD.2011.5970508
Publikationsstatus	Veröffentlicht - 2011
Veranstaltung	ACM/IEEE International Conference on Formal Methods and Models for Codesign - Cambridge, Großbritannien / Vereinigtes Königreich Dauer: 11 Juli 2011 → 13 Juli 2011

Konferenz

Konferenz	ACM/IEEE International Conference on Formal Methods and Models for Codesign
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	Cambridge
Zeitraum	11/07/11 → 13/07/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)
Theoretical

Zugriff auf Dokument

10.1109/MEMCOD.2011.5970508

PID1851741.pdfEndgültige, publizierte Fassung, 411 KB

Andere Dateien und Links

FWF - RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Projekt: Forschungsprojekt
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet

Dieses zitieren

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. S. 31-42.

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

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, S. 31-42, ACM/IEEE International Conference on Formal Methods and Models for Codesign, Cambridge, Großbritannien / Vereinigtes Königreich, 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

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

FWF - RiSE - Rigorous Systems Engineering

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

Formal Methods for Design & Verification

Dieses zitieren