Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

Georg Hofferek, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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