1. A method of simulating a circuit, comprising the steps of: identifying a set of logic events associated with said circuit, wherein the logic events are represented as data objects embodying logic equations; generating a plurality of input test cases; simulating operation of said circuit utilizing said plurality of input test cases; tabulating numbers of times that each input test case stimulates logic events; and identifying logic events that have not been stimulated more than a predetermined threshold as non-occurring events.