A Metric-driven Methodology For Firmware Verification In Simulation/Emulation Environments