Omid Azizi Jamison D. Collins Dinesh Patil Hong Wang 0003 Mark Horowitz Processor Performance Modeling using Symbolic Simulation. 127-138 2008 ISPASS http://dx.doi.org/10.1109/ISPASS.2008.4510745 conf/ispass/2008 db/conf/ispass/ispass2008.html#AziziCPWH08