SystemC is language for system design and verification based on C++.
