Подписаться
Tara Ghasempouri
Tara Ghasempouri
Professor, Tallinn University of Technology
Подтвержден адрес электронной почты в домене taltech.ee - Главная страница
Название
Процитировано
Процитировано
Год
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
752015
On the estimation of assertion interestingness
T Ghasempouri, G Pravadelli
2015 IFIP/IEEE International Conference on Very Large Scale Integration …, 2015
222015
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
182019
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
162022
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
152018
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
152015
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
142022
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
132016
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
122020
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
122018
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
112018
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
92024
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
92014
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
82018
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
72021
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
72020
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
72019
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
62023
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
62022
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
62019
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20