| 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 | 62 | 2015 |
| On the estimation of assertion interestingness T Ghasempouri, G Pravadelli 2015 IFIP/IEEE International Conference on Very Large Scale Integration …, 2015 | 16 | 2015 |
| 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 | 14 | 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 | 12 | 2019 |
| 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 | 10 | 2020 |
| 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 | 9 | 2016 |
| 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 |
| 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 | 8 | 2018 |
| 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 | 7 | 2018 |
| 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 | 7 | 2018 |
| 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 | 5 | 2020 |
| 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 | 4 | 2019 |
| 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 | 4 | 2019 |
| 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 | 2 | 2021 |
| CLD: An Accurate, Cost-Effective and Scalable Run-Time Cache Leakage Detector A Shalabi, T Ghasempouri, P Ellervee, J Raik 2021 24th International Symposium on Design and Diagnostics of Electronic …, 2021 | 2 | 2021 |
| SCAAT: Secure Cache Alternative Address Table for mitigating cache logical side-channel attacks A Shalabi, T Ghasempouri, P Ellervee, J Raik 2020 23rd Euromicro Conference on Digital System Design (DSD), 213-217, 2020 | 2 | 2020 |
| Engineering of an effective automatic assertion-based verification platform T Ghasempouri, J Malburg, A Danese, G Pravadelli, G Fey, J Raik 6th Workshop on Design Automation for Understanding Hardware Designs, 557-562, 2019 | 2 | 2019 |
| 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 | 1 | 2022 |
| Survey on Architectural Attacks: A Unified Classification and Attack Model T Ghasempouri, J Raik, C Reinbrecht, S Hamdioui, M Taouil arXiv preprint arXiv:2208.14194, 2022 | 1 | 2022 |
Jaan RaikTallinn University of TechnologyVerified email at taltech.ee
