A UML based framework for efficient validation of TLM 2 models

SoC system designers commonly employ transaction level modeling for its early software development usage and its analysis capabilities. Transaction Level Modeling help realizes a SoC using virtual prototyping by integration of SoC components at different abstraction levels. However, manually debugging interoperability errors in such models could be a major problem and motivates the need for automatic compliance checking techniques which can detect and report such errors. In this paper, we present an efficient UML based compliance checking technique for TLM 2 models based on UML sequence diagram.