Critical path analysis using a dynamically bounded delay model