From blind certainty to informed uncertainty

  • Authors:
  • Kurt Keutzer;Michael Orshansky

  • Affiliations:
  • University of California, Berkeley, CA;University of California, Berkeley, CA

  • Venue:
  • Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

The accuracy, computational efficiency, and reliability of static timing analysis have made it the workhorse for verifying the timing of synchronous digital integrated circuits for more than a decade. In this paper we charge that the traditional deterministic approach to analyzing the timing of circuits is significantly undermining its accuracy and may even challenge its reliability. We argue that computation of the static timing of a circuit requires a dramatic rethinking in order to continue serving its role as an enabler of high-performance designs. More fundamentally we believe that for circuits to be reliably designed the underlying probabilistic effects must be brought to the forefront of design and no longer hidden under conservative approximations. The reasons that justify such a radical transition are presented together with directions for solutions.