Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions (bibtex)
by Georg Hofferek, Roderick Paul Bloem
Reference:
Controller Synthesis for Pipelined Circuits Using Uninterpreted FunctionsGeorg Hofferek, Roderick Paul BloemNinth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011) (IEEE, ed.), pages 31 - 42, 2011, IEEE.
Bibtex Entry:
@inproceedings{Hoffer11,
publisher = {IEEE},
title = {Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions},
url = {/pubpdf/Controller_Synthesis_for_Pipelined_Circuits_Using_Uninterpreted_Functions.pdf},
booktitle = {Ninth ACM/IEEE International Conference on Formal Methods and Models
for Codesign (MemoCODE 2011)},
author = {Georg Hofferek and Roderick Paul Bloem},
editor = {IEEE},
year = {2011},
pages = {31 - 42},
}
Powered by bibtexbrowser