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
532015
On the estimation of assertion interestingness
T Ghasempouri, G Pravadelli
2015 IFIP/IEEE International Conference on Very Large Scale Integration …, 2015
122015
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 (2), 167-180, 2015
102015
Automatic generation and qualification of assertions on control signals: A time window-based approach
A Danese, F Filini, T Ghasempouri, G Pravadelli
IFIP/IEEE International Conference on Very Large Scale Integration-System on …, 2015
62015
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
52020
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
52019
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
52018
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
42018
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
42018
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
42014
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
32018
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
22020
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
12019
A hierarchical approach for devising area efficient concurrent online checkers
B Niazmand, SP Azad, T Ghasempouri, J Raik, G Jervan
2018 IEEE International Test Conference in Asia (ITC-Asia), 139-144, 2018
12018
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
2021
Verifying cache architecture vulnerabilities using a formal security verification flow
T Ghasempouri, J Raik, K Paul, C Reinbrecht, S Hamdioui
Microelectronics Reliability 119, 114085, 2021
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
2020
Adjustable self-healing methodology for accelerated functions in heterogeneous systems
M Riazati, T Ghasempouri, M Daneshtalab, J Raik, M Sjödin, B Lisper
2020 23rd Euromicro Conference on Digital System Design (DSD), 638-645, 2020
2020
NV-SP: A New High Performance and Low Energy NVM-Based Scratch Pad
A Shalabi, K Paul, T Ghasempouri, J Raik
2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 54-59, 2020
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
2019
The system can't perform the operation now. Try again later.
Articles 1–20