Performance model updated to support SMT
Changed workload model with superthreads
workload with superthreads now also applies to predefined tasks
Changed cache model to AMAT. Effective sizes of private caches are adjusted with SMTDegree. Function-based miss curves in predefined tasks.
Temperature penalty considered in SA mapping