Sciweavers

217 search results - page 7 / 44
» POSIX modeling in SystemC
Sort
View
EMSOFT
2009
Springer
15 years 8 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
54
Voted
DATE
2006
IEEE
50views Hardware» more  DATE 2006»
15 years 8 months ago
Task-accurate performance modeling in SystemC for real-time multi-processor architectures
Martin Streubühr, Joachim Falk, Christian Hau...
87
Voted
DATE
2005
IEEE
130views Hardware» more  DATE 2005»
15 years 7 months ago
Design for Verification of SystemC Transaction Level Models
Ali Habibi, Sofiène Tahar
ASPDAC
2004
ACM
70views Hardware» more  ASPDAC 2004»
15 years 7 months ago
Object-oriented modeling and synthesis of SystemC specifications
C. Schulz-Key, Markus Winterholer, Thomas Schweize...
80
Voted
ASPDAC
2007
ACM
100views Hardware» more  ASPDAC 2007»
15 years 5 months ago
Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC
Patrice Gerin, Hao Shen, A. Chureau, Aimen Bouchhi...