Work

Special Session Paper: Application of Functional Verification Techniques in Hardware Trust

Year: 2025

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Heidari Iman, Mohammad Reza, Drechsler, Rolf, Kumar Jha, Chandan, Azarpeyvand, Ali, Ghasempouri, Tara, Imtiaz, Sharjeel, Raik, Jaan, Germiniani, Samuele, Nicoletti, Daniele, Pravadelli, Graziano, Di Natale, Giorgio

Institutions: Tallinn University of Technology, University of Verona, Marconi University, Techniques of Informatics and Microelectronics for Integrated Systems Architecture

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: HORIZON EUROPE Framework Programme

OpenAlex ID: W7106478691

FWCI:

Cites:

Cited by:

Related to: