Accuracy-adaptive simulation of transaction level models
Proceedings of the conference on Design, automation and test in Europe
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
FM '08 Proceedings of the 15th international symposium on Formal Methods
| Hi-index | 0.00 |
Even though Transaction Level Modeling (TLM) with SystemC is widely being used and despite the existence of several formal models for TLM, there is no generally accepted definition of what a transaction is and how exactly to define Transaction Level Modeling. The key contribution of this paper is the analysis of TLM characteristics and a definition of transactions resulting in better analyzability of TLMs. For this purpose, transactions are restricted to the ACID properties (atomicity, consistency, isolation, and durability) known from database systems. Based on these results, a finite state machine model well suited for formal analysis will be proposed along with an implementation of the basic concepts in SystemC.