217 search results - page 18 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
107
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
111
click to vote
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
117
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
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...
ASWEC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...