1. A method of generating valid random input stimulus sequences for a logic circuit model comprising: a. enumerating critical resource requirements; b. enumerating critical resource availabilities; c. selecting of stimulus sequences and determining legal times for execution of said stimulus sequences based on resource availability.