1. A method comprising: determining an input sequence of signal transition representations associated with an input net of an indicated component in a register transfer level circuit design, wherein each signal transition representation represents a nondeterministic transition from a previous signal state to one or more possible signal states, and determining the input sequence of signal transition representations comprises determining that a subsequence of the input sequence of signal transition representations indicates at most one transition within the subsequence of the input sequence of signal transition representations; and determining, based on the indicated component and on the determination that the subsequence of the input sequence of signal transition representations indicates at most one transition, an output sequence of signal transition representations derived from the input sequence of signal transition representations.