CAD computation for manufacturability: Can we save VLSI technology from itself?Mark LavinLars Liebmann2002ICCAD 2002
Resynthesis of multi-level circuits under tight constraints using symbolic optimizationVictor N. KravetsKarem A. Sakallah2002ICCAD 2002
Optimal buffered routing path constructions for single and multiple clock domain systemsSoha HassounCharles J. Alpertet al.2002ICCAD 2002