Sciweavers

217 search results - page 7 / 44
» POSIX modeling in SystemC
Sort
View
EMSOFT
2009
Springer
15 years 11 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
73
Voted
DATE
2006
IEEE
50views Hardware» more  DATE 2006»
15 years 11 months ago
Task-accurate performance modeling in SystemC for real-time multi-processor architectures
Martin Streubühr, Joachim Falk, Christian Hau...
112
Voted
DATE
2005
IEEE
130views Hardware» more  DATE 2005»
15 years 10 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 10 months ago
Object-oriented modeling and synthesis of SystemC specifications
C. Schulz-Key, Markus Winterholer, Thomas Schweize...