34 search results - page 1 / 7 » Formal and executable contracts for transaction-level modeli... |
EMSOFT
2009
Springer
14 years 1 months ago
2009
Springer
CODES
2005
IEEE
14 years 29 days ago
2005
IEEE
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
DATE
2003
IEEE
14 years 19 days ago
2003
IEEE
The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, ar...
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
DATE
2003
IEEE
14 years 19 days ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...