Tomás Grimm

According to our database, Tomás Grimm authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A hybrid methodology to enable the verification of temporal properties as system-level.

Tomás Grimm

PhD thesis, 2019

2018

A Scalable Approach for Hardware Semiformal Verification.

Tomás Grimm, Djones Lettnin, Michael Hübner

CoRR, 2018

ARCHVerifyr: An Embedded Software-Driven Approach for Architecture Verification.

Tomás Grimm, Djones Lettnin, Michael Hübner

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

2017

Semiformal Verification of Software-Controlled Connections.

Tomás Grimm, Djones Lettnin, Michael Hübner

Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

2016

Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions.

Tomás Grimm, Djones Lettnin, Michael Hübner

Proceedings of the IEEE Nordic Circuits and Systems Conference, 2016

2015

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

Tomás Grimm, Benedikt Janßen, Osvaldo Navarro, Michael Hübner

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Hardware implementation of two key equation solvers for Reed-Solomon decoding.

Tomás Grimm, Eduardo A. Bezerra, Danilo Silva

Proceedings of the IEEE Latin-America Conference on Communications, 2014