The scaling challenge: can correct-by-construction design help?

  • Authors:
  • Prashant Saxena;Noel Menezes;Pasquale Cocchini;Desmond A. Kirkpatrick

  • Affiliations:
  • Intel Labs (CAD Research), Hillsboro, OR;Intel Labs (CAD Research), Hillsboro, OR;Intel Labs (CAD Research), Hillsboro, OR;Intel Labs (CAD Research), Hillsboro, OR

  • Venue:
  • Proceedings of the 2003 international symposium on Physical design
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present the results of scaling studies in the context of typical block-level wiring distributions, and study the impact of the identified trends on the post-RTL design process. In particular, we look at the implications of exponentially increasing repeater and clocked repeater counts on the algorithms and methodologies used for logic synthesis, technology mapping, layout, and full-chip assembly, and identify several new research problems relevant to future designs. Next, we introduce the basic principles of correct-by-construction (CbC) design. We look at some techniques for post-RTL design meeting CbC philosophy, and then construct a case for flexible, abstract fabrics. Finally, we suggest CbC approaches to tackle the new synthesis and layout challenges identified in this paper.