A dynamic accuracy-refinement approach to timing-driven technology mapping