IBM POWER7 performance modeling, verification, and evaluation | Synapse