A SAT-based Timing Driven Place and Route Flow for Critical Soft IP.

Henri Fraisse, Dinesh Gaitonde

Browse the full FPL paper archive.