Sciweavers

7 search results - page 1 / 2
» Functional qualification of TLM verification
Sort
View
DATE
2009
IEEE
94views Hardware» more  DATE 2009»
13 years 11 months ago
Functional qualification of TLM verification
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
FM
2008
Springer
127views Formal Methods» more  FM 2008»
13 years 6 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
MEMOCODE
2010
IEEE
13 years 2 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
ICCD
2007
IEEE
140views Hardware» more  ICCD 2007»
13 years 8 months ago
Continual hashing for efficient fine-grain state inconsistency detection
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
Jae W. Lee, Myron King, Krste Asanovic
VLSI
2007
Springer
13 years 10 months ago
Impact of hardware emulation on the verification quality improvement
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
Youssef Serrestou, Vincent Beroulle, Chantal Robac...