| Automatic extraction of assertions from execution traces of behavioural models A Danese, T Ghasempouri, G Pravadelli 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 67-72, 2015 | 75 | 2015 |
| On the estimation of assertion interestingness T Ghasempouri, G Pravadelli 2015 IFIP/IEEE International Conference on Very Large Scale Integration …, 2015 | 22 | 2015 |
| Understanding multidimensional verification: Where functional meets non-functional X Lai, A Balakrishnan, T Lange, M Jenihhin, T Ghasempouri, J Raik, ... Microprocessors and microsystems 71, 102867, 2019 | 18 | 2019 |
| Towards multidimensional verification: Where functional meets non-functional M Jenihhin, X Lai, T Ghasempouri, J Raik 2018 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and …, 2018 | 15 | 2018 |
| Reusing RTL assertion checkers for verification of SystemC TLM models N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ... Journal of Electronic Testing 31, 167-180, 2015 | 15 | 2015 |
| Exploring factors in a crossroad dataset using cluster-based association rule mining M Shahin, MRH Iman, M Kaushik, R Sharma, T Ghasempouri, D Draheim Procedia Computer Science 201, 231-238, 2022 | 14 | 2022 |
| Automatic generation and qualification of assertions on control signals: A time window-based approach A Danese, F Filini, T Ghasempouri, G Pravadelli VLSI-SoC: Design for Reliability, Security, and Low Power: 23rd IFIP WG 10.5 …, 2016 | 13 | 2016 |
| Reusing verification assertions as security checkers for hardware trojan detection M Eslami, T Ghasempouri, S Pagliarini 2022 23rd International Symposium on Quality Electronic Design (ISQED), 1-6, 2022 | 12 | 2022 |
| From rtl liveness assertions to cost-effective hardware checkers R Hariharan, T Ghasempouri, B Niazmand, J Raik 2018 Conference on Design of Circuits and Integrated Systems (DCIS), 1-6, 2018 | 12 | 2018 |
| Lid-cat: A lightweight detector for cache attacks C Reinbrecht, S Hamdioui, M Taouil, B Niazmand, T Ghasempouri, J Raik, ... 2020 IEEE European Test Symposium (ETS), 1-6, 2020 | 11 | 2020 |
| Design Understanding: From Logic to Specification* G Fey, T Ghasempouri, S Jacobs, G Martino, J Raik, H Riener 2018 IFIP/IEEE International Conference on Very Large Scale Integration …, 2018 | 11 | 2018 |
| On the reuse of RTL assertions in SystemC TLM verification N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ... 2014 15th Latin American Test Workshop-LATW, 1-6, 2014 | 9 | 2014 |
| Adam: Adaptive fault-tolerant approximate multiplier for edge dnn accelerators M Taheri, N Cherezova, S Nazari, A Rafiq, A Azarpeyvand, ... arXiv preprint arXiv:2403.02936, 2024 | 8 | 2024 |
| An automatic approach to evaluate assertions' quality based on data-mining metrics T Ghasempouri, SP Azad, B Niazmand, J Raik 2018 IEEE International Test Conference in Asia (ITC-Asia), 61-66, 2018 | 8 | 2018 |
| A methodology for automated mining of compact and accurate assertion sets MRH Iman, J Raik, M Jenihhin, G Jervan, T Ghasempouri 2021 IEEE Nordic Circuits and Systems Conference (NorCAS), 1-7, 2021 | 7 | 2021 |
| Engineering of an effective automatic dynamic assertion mining platform T Ghasempouri, J Malburg, A Danese, G Pravadelli, G Fey, J Raik 2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration …, 2019 | 7 | 2019 |
| Survey on architectural attacks: A unified classification and attack model T Ghasempouri, J Raik, C Reinbrecht, S Hamdioui, M Taouil ACM Computing Surveys 56 (2), 1-32, 2023 | 6 | 2023 |
| Immizer: An innovative cost-effective method for minimizing assertion sets MRH Iman, J Raik, G Jervan, T Ghasempouri 2022 25th Euromicro Conference on Digital System Design (DSD), 671-678, 2022 | 6 | 2022 |
| A security verification template to assess cache architecture vulnerabilities T Ghasempouri, J Raik, K Paul, C Reinbrecht, S Hamdioui, M Taouil 2020 23rd International Symposium on Design and Diagnostics of Electronic …, 2020 | 6 | 2020 |
| Rtl assertion mining with automated rtl-to-tlm abstraction T Ghasempouri, A Danese, G Pravadelli, N Bombieri, J Raik 2019 Forum for Specification and Design Languages (FDL), 1-8, 2019 | 6 | 2019 |
Jaan RaikTallinn University of TechnologyVerified email at taltech.ee
