IMMizer : an innovative cost-effective method for minimizing assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jervan, Gert
;
Ghasempouri, Tara
2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings
2022
/
p. 671 - 678
https://doi.org/10.1109/DSD57027.2022.00095
https://www.scopus.com/record/display.uri?eid=2-s2.0-85146731802&origin=resultslist&sort=plf-f&src=s&sid=3b42bc15325c13282d3a40f32ea9fcd1&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22immizer%3A+an+innovative%22%29&sl=34&sessionSearchId=3b42bc15325c13282d3a40f32ea9fcd1
https://www.webofscience.com/wos/woscc/full-record/WOS:000946536500080