clock signal clock skew critical path method delay calculation depth-first search electronic design automation integrated circuit design logic simulation logic synthesis model checking program evaluation and review technique spice simulation statistical static timing analysis synchronous circuit worst-case execution time