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