Special session paper: Application of functional verification techniques in hardware trust
author
Heidari Iman, Mohammad Reza
Drechsler, Rolf
Jha, Chandan Kumar
Azarpeyvand, Ali
Ghasempouri, Tara
Imtiaz, Sharjeel
Raik, Jaan
Germiniani, Samuele
Nicoletti, Daniele
Pravadelli, Graziano
Di Natale, Giorgio
statement of authorship
Mohammad Reza Heidari Iman, Rolf Drechsler, Chandan Kumar Jha, Ali Azarpeyvand, Tara Ghasempouri, Sharjeel Imtiaz, Jaan Raik, Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli, Giorgio Di Natale
source
2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
location of publication
Piscataway, New Jersey
publisher
IEEE
year of publication
2025
pages
8 p. : ill
conference name, date
2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), 21-23 October 2025
conference location
Barcelona, Spain
url
https://ieeexplore.ieee.org/document/11257462
https://doi.org/10.1109/DFT66274.2025.11257462
subject term
kontroll
riistvara
verifikatsioon
küberturve
Scopus
https://www.scopus.com/sourceid/21101123252
https://www.scopus.com/pages/publications/105029688511?origin=resultslist
category (general)
Engineering
Tehnika
Computer science
Arvutiteadus
category (sub)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Signal processing
Arvutiteadus. Signaalitöötlus
Engineering. Electrical and electronic engineering
Tehnika. Elektri- ja elektroonikatehnika
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
keyword
assertion-based verification
functional verification
hardware trojan detection
security verification
ISSN
2576-1501
ISBN
979-8-3315-1490-7
notes
Bibliogr.: 52 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
Department of Computer Systems
arvutisüsteemide instituut
language
English
inglise