Formal Methods and Physical Design: Match Made in Heaven or Fools’ Paradise? Dr. Carl Seger Strategic CAD Labs, Intel November 18, 2008.