Sciweavers

217 search results - page 7 / 44
» POSIX modeling in SystemC
Sort
View
EMSOFT
2009
Springer
15 years 4 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
ASPDAC
2004
ACM
70views Hardware» more  ASPDAC 2004»
15 years 3 months ago
Object-oriented modeling and synthesis of SystemC specifications
C. Schulz-Key, Markus Winterholer, Thomas Schweize...
63
Voted
ASPDAC
2007
ACM
100views Hardware» more  ASPDAC 2007»
15 years 2 months ago
Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC
Patrice Gerin, Hao Shen, A. Chureau, Aimen Bouchhi...