A SAT-based Timing Driven Place and Route Flow for Critical Soft IP | IEEE Conference Publication | IEEE Xplore