Paper accepted in ICCAD 2013