Split'n'Cover: ISO 26262 Hardware Safety Analysis with SystemC

Denis Uecker, Matthias Jung 0001. Split'n'Cover: ISO 26262 Hardware Safety Analysis with SystemC. In Alex Orailoglu, Marc Reichenbach, Matthias Jung 0001, editors, Embedded Computer Systems: Architectures, Modeling, and Simulation - 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, Proceedings. Volume 13511 of Lecture Notes in Computer Science, pages 74-89, Springer, 2022. [doi]

Abstract

Abstract is missing.