Tag: static timing analysis in digital circuits