Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

EMSOFT
2009
Springer

favoriteEmaildiscussreport

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

13 years 11 months ago

Formal and executable contracts for transaction-level modeling in SystemC

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun

Real-time Traffic

EMSOFT 2009 | Software Engineering |

claim paper

Related Content

» A power estimation methodology for systemC transaction level models

» TransactionLevel Models for AMBA Bus Architecture Using SystemC 20

» LusSy A Toolbox for the Analysis of SystemsonaChip at the Transactional Level

» Exploring SW Performance Using SoC TransactionLevel Modeling

» Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard

» Formalizing TLM with Communicating State Machines

» Cycleapproximate Retargetable Performance Estimation at the Transaction Level

» Requirements and Concepts for Transaction Level Assertions

» A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	EMSOFT
Authors	Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal

Comments (0)