2 search results - page 1 / 1 » Proving transaction and system-level properties of untimed S... |
MEMOCODE
2010
IEEE
13 years 2 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...
FDL
2006
IEEE
13 years 10 months ago
2006
IEEE
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...