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

  • Georg Hofferek (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions
Period11 Jul 2011
Event titleACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MemoCODE)
Event typeConference