Tomás Grimm

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Formal Verification

Fractal Encoding

Hardware Implementation

Top Venues

Ruhr University Bochum, Germany (PHD)

Education History

Ruhr University Bochum, Germany

PHD

Publications

Tomás Grimm, Djones Lettnin, Michael Hübner
ARCHVerifyr: An Embedded Software-Driven Approach for Architecture Verification. ISVLSI (2018)
Tomás Grimm, Djones Lettnin, Michael Hübner
A Scalable Approach for Hardware Semiformal Verification. CoRR (2018)
Tomás Grimm, Djones Lettnin, Michael Hübner
Semiformal Verification of Software-Controlled Connections. ISVLSI (2017)
Tomás Grimm, Djones Lettnin, Michael Hübner
Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions. NORCAS (2016)
Tomás Grimm, Benedikt Janßen, Osvaldo Navarro, Michael Hübner
The value of FPGAs as reconfigurable hardware enabling Cyber-Physical Systems. ETFA (2015)
Tomás Grimm, Eduardo A. Bezerra, Danilo Silva
Hardware implementation of two key equation solvers for Reed-Solomon decoding. LATINCOM (2014)