M. Sc. Tomás Grimm

  • Former Assistant - Chair Em­bed­ded Sys­tems of the in­for­ma­ti­on Tech­no­lo­gy

Publications

2018
A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip

Tomás Grimm, Michael Hübner, Djones Lettnin - Electronics, MDPI, Special Issue Hardware and Architecture

A Deep Dynamic Formal Verification-based Approach for Complex Systems-on-Chip

Tomás Grimm, Djones Lettnin, Michael Hübner - CDNLive EMEA 2018

Virtual Prototyping of Convolutional Neural Networks with Tensilica IP

Fynn Schwiegelshohn, Tomás Grimm, Florian Fricke, Florian Kästner, Michael Hübner - CDNLive EMEA 2018

2017
Access Network Generation for Efficient Debugging of FPGAs

Habib ul Hasan Khan, Tomás Grimm, Michael Hübner, Göhringer, Diana - International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies 2017

Semiformal Verification of Software-controlled Connections

Tomás Grimm, Lettnin, Djones, Michael Hübner - IEEE Com­pu­ter So­cie­ty An­nual Sym­po­si­um on VLSI, 2017

2016
Automatic Generation of RTL Connectivity Checkers for Automotive Gateways from SystemC TLM Models

Tomás Grimm, Lettnin, Djones, Michael Hübner - IEEE Nordic Circuits and Systems Conference 2017

Formal Verification Exploration with the msp430 Reset Signal

Tomás Grimm, Victor Eberhardt Menegon, Djones Lettnin, Michael Hübner - CDNLive EMEA 2016

2015
The value of FPGAs as reconfigurable hardware enabling Cyber-Physical Systems

Tomás Grimm, Benedikt Janßen, Osvaldo Navarro Guzman, Michael Hübner - IEEE 20th Conference on Emerging Technologies & Factory Au­to­ma­ti­on, ETFA 2015, Lu­xem­bourg, Sep­tem­ber 8 to 11, 2015