PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Stefanni, Francesco"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling of Communication Infrastructure for Design-Space Exploration.

, , , and . FDL, page 92-97. ECSI, Electronic Chips & Systems design Initiative, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francesco Virgili University of Stuttgart

Francesco Salerno University of Stuttgart

Francesco Cucinotta University of Stuttgart

 

Other publications of authors with the same name

HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels., , , , and . Design Autom. for Emb. Sys., 16 (2): 115-135 (2012)A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems., , and . FDL, page 49-54. IEEE, (2008)Refinement of UML/MARTE models for the design of networked embedded systems., , , and . DATE, page 1072-1077. IEEE, (2012)RTL property abstraction for TLM assertion-based verification., , , and . DATE, page 85-90. ACM, (2015)Automatic generation of self-adaptive transactors from PSL assertions., , and . FDL, page 1-7. IEEE, (2016)A formal support for homogeneous simulation of heterogeneous embedded systems., , , , and . SIES, page 211-219. IEEE, (2012)UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design., , , , and . HLDVT, page 33-40. IEEE Computer Society, (2011)Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces., , , , and . FDL (Selected Papers), volume 530 of Lecture Notes in Electrical Engineering, page 1-23. Springer, (2017)Efficient implementation and abstraction of systemc data types for fast simulation., , , , and . FDL, page 1-7. IEEE, (2011)On the reuse of RTL assertions in SystemC TLM verification., , , , , , , , and . LATW, page 1-6. IEEE, (2014)