Timing-driven logic bi-decomposition | Publicación