A method for analyzing a circuit design identifies a possible noise fault
for a timing interval based on a timing analysis of a victim net and at
least one aggressor net of the circuit design and determines whether the
noise fault is feasible based on a behavioral representation of the
victim net and the aggressor net for the timing interval.