Tag: static timing analysis system design