Using Statistical and Symbolic Simulation for Microprocessor Performance Evaluation