Special session paper: Application of functional verification techniques in hardware trust
autor
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
vastutusandmed
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
allikas
2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
ilmumiskoht
Piscataway, New Jersey
kirjastus/väljaandja
IEEE
ilmumisaasta
2025
leheküljed
8 p. : ill
konverentsi nimetus, aeg
2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), 21-23 October 2025
konverentsi toimumispaik
Barcelona, Spain
leitav
https://ieeexplore.ieee.org/document/11257462
https://doi.org/10.1109/DFT66274.2025.11257462
märksõna
kontroll
riistvara
verifikatsioon
küberturve
Scopus
https://www.scopus.com/sourceid/21101123252
https://www.scopus.com/pages/publications/105029688511?origin=resultslist
kategooria (üld)
Engineering
Tehnika
Computer science
Arvutiteadus
kategooria (alam)
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
võtmesõna
assertion-based verification
functional verification
hardware trojan detection
security verification
ISSN
2576-1501
ISBN
979-8-3315-1490-7
märkused
Bibliogr.: 52 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
Department of Computer Systems
arvutisüsteemide instituut
keel
English
inglise