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
Held atACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MemoCODE)
Event typeConference