Sarvesh Patankar, Sainath Karlapalem, Sakshi Biyani, Wen Chen, Roman Chovanec, Martin Vlk, Martin Kaspar. Hybrid Methodology for Verification of SW Safety Mechanisms. In 39th IEEE VLSI Test Symposium, VTS 2021, San Diego, CA, USA, April 25-28, 2021. pages 1-4, IEEE, 2021. [doi]
Abstract is missing.