Verifying Clock Schedules in the Presence of Cross Talk

Soha Hassoun, Christopher Cromer, Eduardo Calvillo Gámez

Abstract - 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 threerelevant 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.

Verifying Clock Schedules in the Presence of Cross Talk
Design, Automation and Test in Europe Conference and Exhibition, 2002. Proceedings
Publication Date: 2002
On page(s): 346-350
Meeting Date: 03/04/2002 - 03/08/2002
Location: Paris, France
ISBN: 0-7695-1471-5