Jacopo Sini, Matteo Sonza Reorda, Massimo Violante, Peter Sarson. Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard. In Dimitris Gizopoulos, Dan Alexandrescu, Mihalis Maniatakos, Panagiota Papavramidou, editors, 24th IEEE International Symposium on On-Line Testing And Robust System Design, IOLTS 2018, Platja D'Aro, Spain, July 2-4, 2018. pages 287-290, IEEE, 2018. [doi]
Abstract is missing.