TY - GEN A1 - Grimm, Tomas A1 - Hübner, Michael A1 - Lettnin, Djones T1 - A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip T2 - Electronics Y1 - 2018 U6 - https://doi.org/10.3390/electronics7060081 SN - 2079-9292 VL - 7 IS - 6 ER - TY - CHAP A1 - Grimm, Tomas A1 - Lettnin, Djones A1 - Hübner, Michael T1 - Automatic Generation of RTL Connectivity Checkers for Automotive Gateways from SystemC TLM Models T2 - IEEE Nordic Circuits and Systems Conference, 1-2 November 2016, Copenhagen, Denmark Y1 - 2017 SN - 978-1-5090-1095-0 U6 - https://doi.org/10.1109/NORCHIP.2016.7792922 PB - IEEE CY - Piscataway, NJ ER -