Name
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. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1145/640000.640014 | ISPD |
Keywords | Field | DocType |
scaling challenge,post-rtl design meeting cbc,basic principle,clocked repeater count,new synthesis,new research problem,post-rtl design process,design help,abstract fabric,future design,cbc approach,logic synthesis,placement,routing,chip,repeaters,interconnect,design process,scaling | Logic synthesis,Mathematical optimization,Computer science,Real-time computing,Technology mapping,Interconnection,Repeater,Design process,Scaling,Computer engineering | Conference |
ISBN | Citations | PageRank |
1-58113-650-1 | 29 | 1.67 |
References | Authors | |
18 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Prashant Saxena | 1 | 210 | 25.24 |
| Noel Menezes | 2 | 451 | 59.65 |
| Pasquale Cocchini | 3 | 29 | 1.67 |
| Desmond A. Kirkpatrick | 4 | 231 | 22.96 |