Exploiting assertions mining and fault analysis to guide RTL-level approximation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Exploiting assertions mining and fault analysis to guide RTL-level approximation

Domaines

Architectures Matérielles [cs.AR] Systèmes embarqués Ingénierie assistée par ordinateur

Marcello TRAIOLA  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03887685

Soumis le : mardi 6 décembre 2022-23:03:28

Dernière modification le : mardi 5 novembre 2024-09:48:07

Fichier non déposé

Dates et versions

hal-03887685 , version 1 (06-12-2022)

Identifiants

Citer

Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola. Exploiting assertions mining and fault analysis to guide RTL-level approximation. DATE 2023 – 26th IEEE/ACM Design, Automation and Test in Europe, Apr 2023, Antwerp, Belgium. ⟨10.23919/DATE56975.2023.10136949⟩. ⟨hal-03887685⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA UNIV-LYON1 INSA-LYON INSA-RENNES EC-LYON IRISA INL CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UDL UR1-MATH-NUM EC_LYON_STRICT
76 Consultations
0 Téléchargements

Altmetric

Partager

More