Sciweavers

217 search results - page 7 / 44
» POSIX modeling in SystemC
Sort
View
EMSOFT
2009
Springer
15 years 9 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 8 months ago
Object-oriented modeling and synthesis of SystemC specifications
C. Schulz-Key, Markus Winterholer, Thomas Schweize...