@inproceedings{ed023fad748e4400b79bc41572b1bcc5,
title = "Clock Schedule Verification with Crosstalk",
abstract = "Delay variation due to crosstalk has made timing analysis a hard problem. In sequential circuits with transparent latches, crosstalk makes the clock schedule verification even harder. In this paper, we point out a false negative problem in current clock schedule verification techniques and propose a new approach based on switching windows. In this approach, coupling delay calculations are naturally combined with latch iterations. A novel algorithm is given for clock schedule verification in the presence of crosstalk and primary experiments show promising results.",
keywords = "Clock Schedule, Coupling, Delay, Verification",
author = "Hai Zhou",
year = "2002",
doi = "10.1145/589411.589428",
language = "English (US)",
isbn = "1581135262",
series = "ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems",
publisher = "Association for Computing Machinery (ACM)",
pages = "78--83",
booktitle = "ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems",
address = "United States",
note = "ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems ; Conference date: 02-12-2002 Through 03-12-2002",
}