Directed test generation for hardware validation: A survey

A Jayasena, P Mishra - ACM Computing Surveys, 2024 - dl.acm.org
The complexity of hardware designs has increased over the years due to the rapid
advancement of technology coupled with the need to support diverse and complex features …

Challenges and trends in modern SoC design verification

W Chen, S Ray, J Bhadra, M Abadir… - IEEE Design & …, 2017 - ieeexplore.ieee.org
Challenges and Trends in Modern SoC Design Verification Page 1 7 2168-2356/17 © 2017
IEEE Copublished by the IEEE CEDA, IEEE CASS, IEEE SSCS, and TTTC September/October …

Hardware-assisted malware detection and localization using explainable machine learning

Z Pan, J Sheldon, P Mishra - IEEE Transactions on Computers, 2022 - ieeexplore.ieee.org
Malicious software, popularly known as malware, is widely acknowledged as a serious
threat to modern computing systems. Software-based solutions, such as anti-virus software …

[PDF][PDF] The case for neurons: a no-go theorem for consciousness on a chip

J Kleiner, T Ludwig - Neuroscience of Consciousness, 2024 - academic.oup.com
We apply the methodology of no-go theorems as developed in physics to the question of
artificial consciousness. The result is a no-go theorem which shows that under a general …

TaintFuzzer: SoC security verification using taint inference-enabled fuzzing

MM Hossain, NF Dipu, KZ Azar… - 2023 IEEE/ACM …, 2023 - ieeexplore.ieee.org
Modern System-on-Chip (SoC) designs containing sensitive information have become
targets of malicious attacks. Unfortunately, current verification practices still undermine the …

Hardware-assisted malware detection using machine learning

Z Pan, J Sheldon, C Sudusinghe… - … , Automation & Test …, 2021 - ieeexplore.ieee.org
Malicious software, popularly known as malware, is a serious threat to modern computing
systems. A comprehensive cybercrime study by Ponemon Institute highlights that malware is …

Beyond structural test, the rising need for system-level test

HH Chen - 2018 International Symposium on VLSI Design …, 2018 - ieeexplore.ieee.org
The steady march of Moore's Law in semiconductors has enabled the creation of ever more
complex systems with electronics playing a central role. As a result, thorough testing of …

User-space emulation framework for domain-specific soc design

J Mack, N Kumbhare, NK Anish… - 2020 IEEE …, 2020 - ieeexplore.ieee.org
In this work, we propose a portable, Linux-based emulation framework to provide an
ecosystem for hardware-software co-design of Domain-specific SoCs (DSSoCs) and enable …

If consciousness is dynamically relevant, artificial intelligence isn't conscious

J Kleiner, T Ludwig - arxiv preprint arxiv:2304.05077, 2023 - arxiv.org
We demonstrate that if consciousness is relevant for the temporal evolution of a system's
states--that is, if it is dynamically relevant--then AI systems cannot be conscious. That is …

Self-learning tuning for post-silicon validation

P Domanski, D Pflüger, J Rivoir, R Latty - arxiv preprint arxiv:2111.08995, 2021 - arxiv.org
Increasing complexity of modern chips makes design validation more difficult. Existing
approaches are not able anymore to cope with the complexity of tasks such as robust …