Quantitative global dataflow analysis on virtual instruction set simulators for hardware/software co-design.