13. The system of claim 12 , wherein said biasing directives control at least one parameter selected from the group consisting of: a desired test structure, one or more resources of the system-under-test to be included in said test, one or more values to be assigned to said resources, occurrence of one or more architectural or micro-architectural events during said test, and activation of testing knowledge relating to the system-under-test.
12. A system for verification of a hardware system-under-test including at least one processor, the system comprising: a processing unit; a computer readable medium, wherein the computer readable medium having stored thereon: an architectural model including a formal description of the specification for said system-under-test; a testing knowledgebase including heuristics for testing desired aspects of said system-under-test; a test template defined in a formal language, said test template including biasing directives to control one or more parameters of a randomly generated test of said system-under-test; and a builder program, wherein the builder program, when executed by the processing unit, causes the processing unit to build an executable image of a hardware exerciser to control a test cycle of said system-under-test, wherein the test cycle comprises at least generation and execution of a test, wherein building said exerciser image includes embedding data corresponding to architectural knowledge of the system-under-test obtained from said architectural model, testing knowledge of the system-under-test obtained from said testing knowledgebase, and said test template.