Sciweavers

Share
52 search results - page 1 / 11
» Formalizing TLM with Communicating State Machines
Sort
View
FDL
2006
IEEE
10 years 2 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
MEMOCODE
2010
IEEE
9 years 6 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
CODES
2005
IEEE
10 years 1 months ago
Retargetable generation of TLM bus interfaces for MP-SoC platforms
In order to meet flexibility, performance and energy efficiency constraints, future SoC (System-on-Chip) designs will contain an increasing number of heterogeneous processor cor...
Andreas Wieferink, Rainer Leupers, Gerd Ascheid, H...
MODELS
2015
Springer
4 years 4 months ago
Optimizing the Symbolic Execution of Communicating and Evolving State Machines
Abstract—This paper describes research investigating two complementary optimization techniques that leverage the similarities between state machines versions to reduce the cost o...
Amal Khalil
FMOODS
2008
9 years 9 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
books