1. A method of generating a random sequence of commands for a semiconductor device, the method comprising: generating, via a computer, random state transitions within a finite state machine model of the semiconductor device; determining, via the computer, a sequence of commands which are associated to the generated random state transitions based on the finite state machine model of the semiconductor device; determining, via the computer, minimum timing conditions for the commands of the sequence of commands; and generating, via the computer, time stamps for the commands of the sequence of commands based on the determined minimum timing conditions.