@misc{GrimmHuebnerLettnin, author = {Grimm, Tomas and H{\"u}bner, Michael and Lettnin, Djones}, title = {A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip}, series = {Electronics}, volume = {7}, journal = {Electronics}, number = {6}, issn = {2079-9292}, doi = {10.3390/electronics7060081}, pages = {24}, language = {en} } @inproceedings{GrimmLettninHuebner, author = {Grimm, Tomas and Lettnin, Djones and H{\"u}bner, Michael}, title = {Automatic Generation of RTL Connectivity Checkers for Automotive Gateways from SystemC TLM Models}, series = {IEEE Nordic Circuits and Systems Conference, 1-2 November 2016, Copenhagen, Denmark}, booktitle = {IEEE Nordic Circuits and Systems Conference, 1-2 November 2016, Copenhagen, Denmark}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-5090-1095-0}, doi = {10.1109/NORCHIP.2016.7792922}, pages = {6}, language = {en} }