PCHECK: a delay analysis tool for high performance LSI design | IEEE Conference Publication | IEEE Xplore