ARTmine : automatic association rule mining with temporal behavior for hardware verificationHeidari Iman, Mohammad Reza; Jervan, Gert; Ghasempouri, Tara2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / p. 1-6 : ill https://ieeexplore.ieee.org/document/10546742 https://doi.org/10.23919/DATE58400.2024.10546742 Conference proceeding at Scopus Article at Scopus Article at WOS

An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Automatic high functional coverage stimuli generation for assertion-based verificationRostami, Hossein; Hosseini, Mostafa; Azarpeyvand, Ali; Heidari Iman, Mohammad Reza; Ghasempouri, TaraProceedings 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design2024 / 7 p. : ill https://doi.org/10.1109/IOLTS60994.2024.10616069 Article at Scopus Article at WOS

IMMizer : an innovative cost-effective method for minimizing assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jervan, Gert; Ghasempouri, Tara2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings2022 / p. 671 - 678 https://doi.org/10.1109/DSD57027.2022.00095 Article at Scopus Article at WOS

Special session paper: Application of functional verification techniques in hardware trustHeidari Iman, Mohammad Reza; Drechsler, Rolf; Jha, Chandan Kumar; Azarpeyvand, Ali; Ghasempouri, Tara; Imtiaz, Sharjeel; Raik, Jaan; Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano; Di Natale, Giorgio2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)2025 / 8 p. : ill https://ieeexplore.ieee.org/document/11257462 https://doi.org/10.1109/DFT66274.2025.11257462 Conference proceedings at Scopus Article at Scopus