Processor vulnerability detection with the aid of assertions : RISC-V case studyHeidari Iman, Mohammad Reza; Ahmadi-Pour, Sallar; Drechsler, Rolf; Ghasempouri, Tara2024 IEEE Nordic Circuits and Systems Conference, NORCAS 2024 - Proceedings2024 / 7 p. https:/doi.org/10.1109/NorCAS64408.2024.10752460 Article at Scopus Article at WOS