Special Session Paper: Application of Functional Verification Techniques in Hardware Trust - 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 (2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), 2025 IEEE International Symposium on, 2025)