[Back]

@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}
}