SGEN2: Evolution of a sequence-based stimulus engine for micro-processor verification.