Tara Ghasempouri

Samuel Pagliarini

IEEE Trans. Computers, December, 2024

Survey on Architectural Attacks: A Unified Classification and Attack Model.

[BibT_eX]

[DOI]

ACM Comput. Surv., February, 2024

Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study.

[BibT_eX]

[DOI]

Sallar Ahmadi-Pour

Rolf Drechsler

Proceedings of the 2024 IEEE Nordic Circuits and Systems Conference (NorCAS), 2024

Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification.

[BibT_eX]

[DOI]

Hossein Rostami

Mostafa Hosseini

Ali Azarpeyvand

Mohammad Hasan Ahmadilivani

Proceedings of the 30th IEEE International Symposium on On-Line Testing and Robust System Design, 2024

AdAM: Adaptive Fault-Tolerant Approximate Multiplier for Edge DNN Accelerators.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Test Symposium, 2024

Zero-Memory-Overhead Clipping-Based Fault Tolerance for LSTM Deep Neural Networks.

[BibT_eX]

[DOI]

Bahram Parchekani

Samira Nazari

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2024

ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms.

[BibT_eX]

[DOI]

Andrew Roberts

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification.

[BibT_eX]

[DOI]

Gert Jervan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

An automated method for mining high-quality assertion sets.

[BibT_eX]

[DOI]

Microprocess. Microsystems, March, 2023

Anomalous File System Activity Detection Through Temporal Association Rule Mining.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022

Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection.

[BibT_eX]

[DOI]

Mohammad Eslami

Samuel Pagliarini

Proceedings of the 23rd International Symposium on Quality Electronic Design, 2022

IMMizer: An Innovative Cost-Effective Method for Minimizing Assertion Sets.

[BibT_eX]

[DOI]

Gert Jervan

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining.

[BibT_eX]

[DOI]

Mahtab Shahin

Proceedings of the 13th International Conference on Ambient Systems, 2022

2021

A Methodology for Automated Mining of Compact and Accurate Assertion Sets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Nordic Circuits and Systems Conference, NorCAS 2021, Oslo, 2021

CLD: An Accurate, Cost-Effective and Scalable Run-Time Cache Leakage Detector.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2021

2020

NV-SP: A New High Performance and Low Energy NVM-Based Scratch Pad.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

LiD-CAT: A Lightweight Detector for Cache ATtacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Test Symposium, 2020

SCAAT: Secure Cache Alternative Address Table for mitigating cache logical side-channel attacks.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Adjustable self-healing methodology for accelerated functions in heterogeneous systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

A Security Verification Template to Assess Cache Architecture Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

2019

Understanding multidimensional verification: Where functional meets non-functional.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2019

Engineering of an Effective Automatic Dynamic Assertion Mining Platform.

[BibT_eX]

[DOI]

Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019

RTL Assertion Mining with Automated RTL-to-TLM Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

2018

Design Understanding: From Logic to Specification<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018

Towards Multidimensional Verification: Where Functional Meets Non-Functional.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Nordic Circuits and Systems Conference, 2018

A Hierarchical Approach for Devising Area Efficient Concurrent Online Checkers.

[BibT_eX]

[DOI]

Behrad Niazmand

Siavoosh Payandeh Azad

Gert Jervan

Proceedings of the IEEE International Test Conference in Asia, 2018

An Automatic Approach to Evaluate Assertions' Quality Based on Data-Mining Metrics.

[BibT_eX]

[DOI]

Siavoosh Payandeh Azad

Behrad Niazmand

Proceedings of the IEEE International Test Conference in Asia, 2018

From RTL Liveness Assertions to Cost-Effective Hardware Checkers.

[BibT_eX]

[DOI]

Ranganathan Hariharan

Behrad Niazmand

Mirella Negro Marcigaglia

Proceedings of the Conference on Design of Circuits and Integrated Systems, 2018

2015

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

[BibT_eX]

[DOI]

J. Electron. Test., 2015

On the estimation of assertion interestingness.

[BibT_eX]

[DOI]

Graziano Pravadelli

Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the VLSI-SoC: Design for Reliability, Security, and Low Power, 2015

Automatic extraction of assertions from execution traces of behavioural models.

[BibT_eX]

[DOI]

Alessandro Danese