IMMizer : an innovative cost-effective method for minimizing assertion sets

statement of authorship
Mohammad Reza Heidari Iman, Jaan Raik, Gert Jervan, Tara Ghasempouri
source
2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings
location of publication
New York
publisher
year of publication
pages
p. 671 - 678
conference name, date
25th Euromicro Conference on Digital System Design, DSD 2022; 31 Aug.-2 Sept. 2022
conference location
Maspalomas, Spain
ISBN
978-166547404-7
notes
Bibliogr.: 28 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
keyword
Assertion Minimization
Assertion Mining
Hardware Verification
Heidari Iman, M.R., Raik, J., Jervan, G., Ghasempouri, T. IMMizer : an innovative cost-effective method for minimizing assertion sets // 2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings. New York : IEEE, 2022. p. 671 - 678. https://doi.org/10.1109/DSD57027.2022.00095