Transaction-Level Modeling with Systemc: Tlm Concepts and Applications for Embedded Systems (2005)

Transaction-Level Modeling with SystemC presents the formalized abstraction and related methodology defined at STMicroelectronics, and covers all major topics related to the Electronic System-Level (ESL) industry:

- Early embedded software development based on SoC virtual prototypes

- Functional verification using reference models

- Architecture analysis with mixed TLM and cycle accurate platforms

- Unifying TLM and RTL with platform automation tools

Complementary to the book, open source code to put this approach