Micro-processor verification using a C++11 sequence-based stimulus engine.