Follow
Tara Ghasempouri
Title
Cited by
Cited by
Year
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
672015
On the estimation of assertion interestingness
T Ghasempouri, G Pravadelli
2015 IFIP/IEEE International Conference on Very Large Scale Integration …, 2015
182015
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
172018
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
152019
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
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
112020
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
112016
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
102018
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
92018
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
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
72022
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
62022
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
62020
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
52019
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
52019
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
42023
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
42021
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
32020
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
32019
The system can't perform the operation now. Try again later.
Articles 1–20