Search Sciweavers | Sciweavers

217 search results - page 7 / 44

» POSIX modeling in SystemC

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

15 years 11 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

Voted

DATE
2006
IEEE

50views Hardware» more DATE 2006»

Task-accurate performance modeling in SystemC for real-time multi-processor architectures

15 years 11 months ago

Download www12.informatik.uni-erlangen.de

Martin Streubühr, Joachim Falk, Christian Hau...

claim paper

Read More »

111

click to vote

DATE
2005
IEEE

130views Hardware» more DATE 2005»

Design for Verification of SystemC Transaction Level Models

15 years 10 months ago

Download www.date-conference.com

Ali Habibi, Sofiène Tahar

claim paper

Read More »

click to vote

ASPDAC
2004
ACM

70views Hardware» more ASPDAC 2004»

Object-oriented modeling and synthesis of SystemC specifications

15 years 10 months ago

Download cadal.cse.nsysu.edu.tw

C. Schulz-Key, Markus Winterholer, Thomas Schweize...

claim paper

Read More »

114

click to vote

ASPDAC
2007
ACM

100views Hardware» more ASPDAC 2007»

Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers