Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

Georg Hofferek, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationNinth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011)
Place of PublicationPiscataway, NJ, USA
PublisherInstitute of Electrical and Electronics Engineers
Pages31-42
ISBN (Print)978-1-4577-0116-0
DOIs
Publication statusPublished - 2011
EventACM/IEEE International Conference on Formal Methods and Models for Codesign - Cambridge, United Kingdom
Duration: 11 Jul 201113 Jul 2011

Conference

ConferenceACM/IEEE International Conference on Formal Methods and Models for Codesign
CountryUnited Kingdom
CityCambridge
Period11/07/1113/07/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Theoretical

Cite this

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

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 proceedingConference contributionResearchpeer-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
Hofferek G, Bloem RP. Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions. In 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 https://doi.org/10.1109/MEMCOD.2011.5970508
Hofferek, Georg ; Bloem, Roderick Paul. / Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions. Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011). Piscataway, NJ, USA : Institute of Electrical and Electronics Engineers, 2011. pp. 31-42
@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",

}

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 contribution

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

ER -