Email Record: Timing analysis and optimization of sequential circuits /