David Blaauw Rajendran Panda Abhijit Das Removing user specified false paths from timing graphs. 270-273 2000 DAC http://doi.acm.org/10.1145/337292.337417 db/conf/dac/dac2000.html#BlaauwPD00