Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri. A Methodology for Automated Mining of Compact and Accurate Assertion Sets. In Jari Nurmi, Dag T. Wisland, Snorre Aunet, Kristian Kjelgaard, editors, IEEE Nordic Circuits and Systems Conference, NorCAS 2021, Oslo, Norway, October 26-27, 2021. pages 1-7, IEEE, 2021. [doi]
Abstract is missing.