@inproceedings{TUW-109192, author = {Brandmayr, Georg and Humer, Gerhard and Rupp, Markus}, title = {Automatic Co-Verification of FPGA Designs in Simulink}, booktitle = {MBDC2005 Model Based Design Conference}, year = {2005}, pages = {21--30}, publisher = {Shaker Verlag}, url = {http://publik.tuwien.ac.at/files/pub-et_10045.pdf}, isbn = {3-8322-4101-9}, note = {talk: Model-Based Design Conference (MBDC), Munich, Germany; 2005-06-08 -- 2005-06-09} }