Automatic Programming Applied to VLSI CAD Software: A Case StudySpringer Science & Business Media, 31.05.1990 - 234 Seiten This book, and the research it describes, resulted from a simple observation we made sometime in 1986. Put simply, we noticed that many VLSI design tools looked "alike". That is, at least at the overall software architecture level, the algorithms and data structures required to solve problem X looked much like those required to solve problem X'. Unfortunately, this resemblance is often of little help in actually writing the software for problem X' given the software for problem X. In the VLSI CAD world, technology changes rapidly enough that design software must continually strive to keep up. And of course, VLSI design software, and engineering design software in general, is often exquisitely sensitive to some aspects of the domain (technology) in which it operates. Modest changes in functionality have an unfortunate tendency to require substantial (and time-consuming) internal software modifications. Now, observing that large engineering software systems are technology dependent is not particularly clever. However, we believe that our approach to xiv Preface dealing with this problem took an interesting new direction. We chose to investigate the extent to which automatic programming ideas cold be used to synthesize such software systems from high-level specifications. This book is one of the results of that effort. |
Inhalt
I | 1 |
II | 4 |
III | 6 |
IV | 8 |
V | 11 |
VI | 13 |
VIII | 14 |
IX | 18 |
LXVIII | 125 |
LXIX | 127 |
LXX | 128 |
LXXI | 129 |
LXXIII | 134 |
LXXIV | 135 |
LXXVI | 141 |
LXXVIII | 145 |
X | 19 |
XI | 24 |
XII | 25 |
XIII | 26 |
XIV | 27 |
XV | 29 |
XVI | 30 |
XVII | 31 |
XVIII | 33 |
XIX | 34 |
XX | 35 |
XXI | 39 |
XXII | 41 |
XXIII | 43 |
XXIV | 44 |
XXV | 47 |
XXVI | 50 |
XXVII | 53 |
XXVIII | 54 |
XXIX | 56 |
XXXI | 57 |
XXXIII | 58 |
XXXIV | 59 |
XXXVI | 60 |
XXXVII | 62 |
XL | 64 |
XLII | 65 |
XLIII | 66 |
XLIV | 67 |
XLV | 68 |
XLVI | 69 |
XLVII | 71 |
XLIX | 77 |
L | 80 |
LI | 81 |
LII | 83 |
LIII | 86 |
LIV | 90 |
LV | 96 |
LVI | 97 |
LVII | 99 |
LVIII | 104 |
LIX | 107 |
LX | 109 |
LXII | 111 |
LXIII | 112 |
LXIV | 115 |
LXV | 116 |
LXVI | 118 |
LXVII | 122 |
LXXIX | 150 |
LXXX | 151 |
LXXXI | 153 |
LXXXIII | 155 |
LXXXV | 157 |
LXXXVI | 158 |
LXXXVIII | 159 |
LXXXIX | 161 |
XC | 164 |
XCI | 165 |
XCII | 167 |
XCIII | 169 |
XCIV | 170 |
XCV | 172 |
XCVI | 173 |
XCVII | 177 |
XCVIII | 178 |
XCIX | 179 |
C | 180 |
CI | 181 |
CII | 184 |
CIII | 185 |
CIV | 188 |
CV | 191 |
CVI | 193 |
195 | |
CVIII | 197 |
CIX | 199 |
203 | |
CXI | 205 |
CXII | 206 |
CXIV | 207 |
CXV | 208 |
CXVII | 209 |
CXVIII | 212 |
CXIX | 214 |
CXX | 215 |
CXXI | 217 |
CXXIII | 218 |
CXXV | 219 |
CXXVIII | 220 |
CXXX | 221 |
CXXXIII | 222 |
CXXXVIII | 223 |
CXXXIX | 224 |
CXL | 226 |
CXLI | 229 |
231 | |
Andere Ausgaben - Alle anzeigen
Automatic Programming Applied to VLSI CAD Software: A Case Study Dorothy E. Setliff,Rob A. Rutenbar Eingeschränkte Leseprobe - 2012 |
Automatic Programming Applied to VLSI CAD Software: A Case Study Dorothy E. Setliff,Rob A. Rutenbar Keine Leseprobe verfügbar - 1990 |
Automatic Programming Applied to VLSI CAD Software: A Case Study Dorothy E Setliff,Rob A Rutenbar Keine Leseprobe verfügbar - 1990 |
Häufige Begriffe und Wortgruppen
algorithm and data Algorithm Designer Module algorithm selection Artificial Intelligence automatic programming backtrace best-first candidate set cell Chapter Code Generator Stage computations cost function cost metrics Data Structure Designer data structure implementation data structure representation data structure selection decision defined Dependency Analysis Module depth-first depth-first search Design Automation Conference design interaction knowledge ELF synthesis architecture example expansion phase expansion search fabrication constraints gate array Given global router graph-based grid data structure input netlist Input Stage interdependency graph intermediate representation ISBN iterator keyword knowledge sources layer maze router NET_NUMBER node OPS5 options parameter printed circuit board program synthesis knowledge Router Dependency Knowledge router domain knowledge Router Structure Knowledge routing task selection and refinement Selection Control Module Selection Stage SETL software reusability Structure Designer Module structures and algorithms tasks and subtasks technology constraints template tool transformation process Types of Domain user specification variable VLSI wavefront data structure