Optimal buffered routing path constructions for single and multiple clock domain systemsSoha HassounCharles J. Alpertet al.2002ICCAD 2002