The Best of ICCAD: 20 Years of Excellence in Computer-Aided DesignAndreas Kuehlmann Springer Science & Business Media, 31 במרץ 2003 - 714 עמודים In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. This book commemorates contributions made by ICCAD to the broad field of design automation during that time. The foundation of ICCAD in 1982 coincided with the growth of Large Scale Integration. The sharply increased functionality of board-level circuits led to a major demand for more powerful Electronic Design Automation (EDA) tools. At the same time, LSI grew quickly and advanced circuit integration became widely avail able. This, in turn, required new tools, using sophisticated modeling, analysis and optimization algorithms in order to manage the evermore complex design processes. Not surprisingly, during the same period, a number of start-up com panies began to commercialize EDA solutions, complementing various existing in-house efforts. The overall increased interest in Design Automation (DA) re quired a new forum for the emerging community of EDA professionals; one which would be focused on the publication of high-quality research results and provide a structure for the exchange of ideas on a broad scale. Many of the original ICCAD volunteers were also members of CANDE (Computer-Aided Network Design), a workshop of the IEEE Circuits and Sys tem Society. In fact, it was at a CANDE workshop that Bill McCalla suggested the creation of a conference for the EDA professional. (Bill later developed the name). |
תוכן
III | 3 |
IV | 17 |
V | 29 |
VI | 39 |
VII | 51 |
VIII | 65 |
IX | 73 |
X | 93 |
XXXVI | 403 |
XXXVII | 413 |
XXXVIII | 433 |
XXXIX | 451 |
XLII | 467 |
XLIII | 479 |
XLIV | 489 |
XLV | 499 |
XI | 107 |
XII | 117 |
XIII | 129 |
XIV | 143 |
XV | 159 |
XVI | 181 |
XVII | 191 |
XVIII | 205 |
XIX | 217 |
XX | 227 |
XXI | 235 |
XXII | 249 |
XXIII | 269 |
XXIV | 285 |
XXVI | 295 |
XXVII | 303 |
XXVIII | 313 |
XXIX | 325 |
XXX | 337 |
XXXII | 347 |
XXXIII | 367 |
XXXIV | 383 |
XXXV | 393 |
XLVI | 509 |
XLVII | 521 |
XLVIII | 535 |
XLIX | 551 |
L | 563 |
LI | 567 |
LII | 575 |
LIII | 585 |
LIV | 597 |
LV | 615 |
LVI | 633 |
LVII | 639 |
LVIII | 653 |
LIX | 659 |
LX | 663 |
LXI | 675 |
LXII | 683 |
LXIII | 689 |
697 | |
705 | |
707 | |
מהדורות אחרות - הצג הכל
The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design <span dir=ltr>Andreas Kuehlmann</span> אין תצוגה מקדימה זמינה - 2012 |
מונחים וביטויים נפוצים
algorithm analog analog circuit analysis AND2/INV applied approach assignment BDDs benchmark Binary Decision Diagrams Boolean functions boolean network Brayton capacitance chip circuit simulator clock period cluster CMOS complex Computer Aided Design Computer-Aided Design constraints cost cycle datapath decomposition delay Design Automation Conference device divisors edges efficient equations equivalent example faults Figure floorplan FPGA gate global heuristic ICCAD IEEE IEEE Trans IEEE Transactions implementation input Integrated Circuits interconnect International Conference iteration Jiffy Tune K-LUT latch latency layout Lemma linear logic synthesis matrix method min-cut minimization minimum module node noise sources nonlinear OBDD operations optimization output paper parameters partitioning path performance placement problem Proc procedure reduced retiming Sangiovanni-Vincentelli schedule signal simulated annealing solution techniques technology mapping testable Theorem tion transformations transistor variable ordering verification VLSI voltage