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

Tags: verification