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
622015
On the estimation of assertion interestingness
T Ghasempouri, G Pravadelli
2015 IFIP/IEEE International Conference on Very Large Scale Integration …, 2015
162015
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
142015
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
122019
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
102020
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
92016
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
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
82018
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
72018
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
72018
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
52020
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
42019
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
42019
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
22021
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
22021
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
22020
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
22019
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
12022
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
12022
The system can't perform the operation now. Try again later.
Articles 1–20