Text this: Timing analysis and optimization of sequential circuits