  This paper is about modeling and verification languages with their pros and
cons. Modeling is dynamic part of system development process before
realization. The cost and risky situations obligate designer to model system
before production and modeling gives designer more flexible and dynamic image
of realized system. Formal languages and modeling methods are the ways to model
and verify systems but they have their own difficulties in specifying systems.
Some of them are very precise but hard to specify complex systems like TRIO,
and others do not support object oriented design and hardware/software
co-design in real-time systems. In this paper we are going to introduce systemC
and the more abstracted method called TLM 2.0 that solved all mentioned
problems.
