On modeling and analyzing cache hierarchies using CASPER | Synapse