31. The computer program product of claim 25 , further comprising responsive to analyzing the data flow through the circuit design, generating a waveform that represents propagation of a transaction, the waveform including one or more indicators that when activated generate subsequent helper assertions.
32. The computer program product of claim 31 , wherein an indicator corresponds to a manner in which the transaction propagates.