( en | de | ru )

 

Disambiguierung von "Pravadelli, Graziano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hardware Design and Simulation for Verification.

, , und . SFM, Volume 3965 von Lecture Notes in Computer Science, Seite 1-29. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Graziano Pinna

Thomas Kadner Graziano

 

Weitere Publikationen von Autoren mit dem selben Namen

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration., , , , und . IEEE Trans. Computers, 62 (2): 225-241 (2013)A testbench specification language for SystemC verification., und . CODES+ISSS, Seite 333-342. ACM, (2012)A cosimulation methodology for HW/SW validation and performance estimation., , , und . ACM Trans. Design Autom. Electr. Syst., 14 (2): 23:1-23:32 (2009)On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms., und . VLSI-SoC (Selected Papers), Volume 464 von IFIP Advances in Information and Communication Technology, Seite 110-128. Springer, (2014)A time-window based approach for dynamic assertions mining on control signals., , und . VLSI-SoC, Seite 246-251. IEEE, (2015)Correct-by-construction generation of device drivers based on RTL testbenches., , , und . DATE, Seite 1500-1505. IEEE, (2009)Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level., , und . VLSI-SoC (Selected Papers), Volume 661 von IFIP Advances in Information and Communication Technology, Seite 71-92. Springer, (2021)Exploiting assertions mining and fault analysis to guide RTL-level approximation., , , und . DATE, Seite 1-2. IEEE, (2023)Logic-level analysis of high-level faults., und . ACM Great Lakes Symposium on VLSI, Seite 100-103. ACM, (2004)A graph-based approach for mobile localization exploiting real and virtual landmarks., , , und . VLSI-SoC, Seite 249-254. IEEE, (2018)