Publications

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

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

Electronics, MDPI, Special Issue Hardware and Architecture [Website]

Semiformal Verification of Software-controlled Connections

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

IEEE Com­pu­ter So­cie­ty An­nual Sym­po­si­um on VLSI, 2017

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

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

IEEE Nordic Circuits and Systems Conference 2017
Page: