Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2015 Publications
2014 | Conference Paper | LibreCat-ID: 34583
Koppelmann B, Messidat B, Kuznik C, Müller W, Becker M, Scheytt JC. Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. In: Proceedings of the Design and Verification Conference Europe (DVCON Europe). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 34580
Becker M, Kuznik C, Müller W, Koppelmann B, Messidat B. Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. In: Proceedings of the Design and Verification Conference Europe . ; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25117
Koppelmann B, Messidat B, Becker M, Kuznik C, Müller W, Scheytt JC. Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification Conference (DVCON EUROPE). Published online 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25162
Kuznik C, Müller W. Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. Design, Automation and Test in Europe DATE, University Booth, Dresden . Published online 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25169
Oetjens J-H, Becker M, Kuznik C, Müller W. Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. In: Design Automation Conference (DAC). ; 2014.
LibreCat