Modeling and evaluation of multi-core multithreading processor architectures in SystemC