1. A computer program product for functional testing of a processor design, the computer program product comprising: a tangible storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method comprising: accessing a test template from a library of test templates, wherein the test template is configured to test a first selected function of the processor; inputting the test template to an automated test generation tool executed by a computer; generating an instruction sequence based on the test template by the automated test generation tool; injecting an event instruction to the instruction sequence during the generating of the instruction sequence by the automated test generation tool, the injecting of the event instruction preserving testing of the first selected function of the processor and the event instruction being configured to test a second selected function of the processor; and verifying a function of the processor by analyzing responses of the processor to the instruction sequence.