Exploiting assertions mining and fault analysis to guide RTL-level approximation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

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

Domains

Hardware Architecture [cs.AR] Embedded Systems Computer Aided Engineering

Marcello TRAIOLA  : Connect in order to contact the contributor

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

Submitted on : Tuesday, December 6, 2022-11:03:28 PM

Last modification on : Tuesday, August 27, 2024-12:54:46 PM

No file

Dates and versions

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

Identifiers

Cite

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⟩

Export

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
71 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More