Static timing analysis, the standard method for assessing the speed at which a digital chip will run, lies at the core of modern electronics. Each year, hundreds of billions of dollars worth of ...