Text this: Temporización estática post-layout de circuitos digitales sincrónicos