Giovanni Funchal

According to our database, Giovanni Funchal authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Modeling of time in discrete-event simulation of systems-on-chip.

Giovanni Funchal, Matthieu Moy

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip.

Giovanni Funchal, Matthieu Moy

Proceedings of the Design, Automation and Test in Europe, 2011

2009

Formal and executable contracts for transaction-level modeling in SystemC.

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009