1. A random test-program generator device for generating a verification program to confirm the operation of a system under test, the test-program generator device comprising a transaction scheduler configured for: a. receiving input from a request file that includes at least one prescriptive scheduling statement which specifies the scheduling of a system-level transaction; b. processing said at least one prescriptive scheduling statement, c. generating code fulfilling said at least one prescriptive scheduling statement, and d. placing said code into a testcase to form at least part of the verification program.