2002 Design, Automation and Test in Europe Conference and Exhibition (DATE'02)
Verifying Clock Schedules in the Presence of Cross Talk
Paris, France
March 04-March 08
ISBN: 0-7695-1471-5
This paper addresses verifying the timing of circuits containing level-sensitive latches in the presence of cross talk. We show that three consecutive periodic occurrences of the aggressor?s input switching window must be compared with the victim?s input switching window. We propose a new phase shift operator to allow aligning the aggressor?s three relevant switching windows with the victim?s input signals. We solve the problem iteratively in polynomial time, and show an upper bound on the number of iterations equal to the number of capacitors in the circuit. Our experiments demonstrate that eliminating false coupling results in finding a smaller clock period at which a circuit will run.
Citation:
S. Hassoun, E. Calvillo-Gámez, C. Cromer, "Verifying Clock Schedules in the Presence of Cross Talk," date, pp.0346, 2002 Design, Automation and Test in Europe Conference and Exhibition (DATE'02), 2002