دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design
دانلود کتاب بهترین های ICCAD: 20 سال برتر در طراحی رایانه ای
مشخصات کتاب
The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design
ویرایش: 1 نویسندگان: Randal E. Bryant, James H. Kukula (auth.), Andreas Kuehlmann (eds.) سری: ISBN (شابک) : 9781461350071, 9781461502920 ناشر: Springer US سال نشر: 2003 تعداد صفحات: 697 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 37 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب بهترین های ICCAD: 20 سال برتر در طراحی رایانه ای: تئوری محاسبات، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی، مدارها و سیستم ها، مهندسی برق
در صورت تبدیل فایل کتاب The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بهترین های ICCAD: 20 سال برتر در طراحی رایانه ای نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بهترین های ICCAD: 20 سال برتر در طراحی رایانه ای
در سال 2002، کنفرانس بین المللی طراحی به کمک رایانه (ICCAD) بیستمین سالگرد خود را جشن می گیرد. این کتاب یادآور کمک‌های ICCAD در زمینه گسترده اتوماسیون طراحی در آن زمان است. پایه گذاری ICCAD در سال 1982 با رشد یکپارچه سازی در مقیاس بزرگ مصادف شد. افزایش شدید عملکرد مدارهای سطح برد منجر به تقاضای عمده برای ابزارهای قدرتمندتر اتوماسیون طراحی الکترونیکی (EDA) شد. در همان زمان، LSI به سرعت رشد کرد و یکپارچه سازی مدارهای پیشرفته به طور گسترده در دسترس قرار گرفت. این امر به نوبه خود نیازمند ابزارهای جدید با استفاده از الگوریتم‌های مدل‌سازی، تحلیل و بهینه‌سازی پیچیده به منظور مدیریت فرآیندهای طراحی پیچیده‌تر بود. جای تعجب نیست که در همان دوره، تعدادی از شرکت‌های نوپا شروع به تجاری‌سازی راه‌حل‌های EDA کردند و تلاش‌های داخلی موجود را تکمیل کردند. افزایش علاقه کلی به طراحی اتوماسیون (DA) مستلزم یک انجمن جدید برای جامعه نوظهور متخصصان EDA بود. یکی که بر انتشار نتایج تحقیقاتی با کیفیت بالا متمرکز می شود و ساختاری برای تبادل نظر در مقیاس وسیع فراهم می کند. بسیاری از داوطلبان اولیه ICCAD همچنین اعضای CANDE (طراحی شبکه به کمک رایانه)، کارگاهی از انجمن مدارها و سیستم های IEEE بودند. در واقع، در یک کارگاه آموزشی CANDE بود که بیل مک کالا پیشنهاد ایجاد کنفرانسی را برای متخصص EDA داد. (بیل بعداً این نام را توسعه داد).
توضیحاتی درمورد کتاب به خارجی
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).
فهرست مطالب
Front Matter....Pages i-xvii
Front Matter....Pages 1-1
Formal Methods for Functional Verification....Pages 3-15
Automating the Diagnosis and the Rectification of Design Errors with PRIAM....Pages 17-27
Functional Comparison of Logic Designs for VLSI Circuits....Pages 29-38
A Unified Framework for the Formal Verification of Sequential Circuits....Pages 39-50
Dynamic Variable Ordering for Ordered Binary Decision Diagrams....Pages 51-63
Verification of Large Synthesized Designs....Pages 65-72
Grasp—A New Search Algorithm for Satisfiability....Pages 73-89
Front Matter....Pages 91-91
System Design and Analysis Overview....Pages 93-106
An Efficient Microcode-Compiler for Custom DSP-Processors....Pages 107-116
HYPER-LP: A System for Power Minimization Using Architectural Transformations....Pages 117-127
Power Analysis of Embedded Software: First Step Towards Software Power Minimization....Pages 129-142
A Methodology for Correct-by-Construction Latency Insensitive Design....Pages 143-158
Exploring Performance Tradeoffs for Clustered VLIW ASIPs....Pages 159-177
Front Matter....Pages 179-179
Logic Synthesis Overview....Pages 181-189
Multiple-Level Logic Optimization System....Pages 191-203
Exact Minimization of Multiple-Valued Functions for PLA Optimization....Pages 205-216
Improved Logic Optimization Using Global-Flow Analysis....Pages 217-225
A Method for Concurrent Decomposition and Factorization of Boolean Expressions....Pages 227-234
An Optimal Technology Mapping Algorithm for Delay Optimization in Lookup-Table Based FPGA Designs....Pages 235-248
Logic Decomposition during Technology Mapping....Pages 249-266
Front Matter....Pages 267-267
Highlights in Analog and Digital Circuit Design and Synthesis at ICCAD....Pages 269-284
An Interactive Device Characterization and Model Development System....Pages 285-293
TILOS: A Posynomial Programming Approach to Transistor Sizing....Pages 295-302
SPECS2: An Integrated Circuit Timing Simulator....Pages 303-311
Automatic Synthesis of Operational Amplifiers based on Analytic Circuit Models....Pages 313-323
Analog Circuit Synthesis for Performance in OASYS....Pages 325-336
Extraction of Gate-Level Models from Transistor Circuits by Four-Valued Symbolic Analysis....Pages 337-346
Optimization of Custom MOS Circuits by Transistor Sizing....Pages 347-364
Front Matter....Pages 365-365
Highlights in Physical Simulation and Analysis at ICCAD....Pages 367-381
Nonlinear Circuit Simulation in the Frequency-Domain....Pages 383-392
Modeling the Driving-Point Characteristic of Resistive Interconnect for Accurate Delay Estimation....Pages 393-402
Efficient Techniques for Inductance Extraction of Complex 3-D Geometries....Pages 403-412
Time-Domain Non-Monte Carlo Noise Simulation for Nonlinear Dynamic Circuits with Arbitrary Excitations....Pages 413-432
PRIMA: Passive Reduced-Order Interconnect Macromodeling Algorithm....Pages 433-450
Circuit Noise Evaluation by Padé Approximation Based Model-Reduction Techniques....Pages 451-464
Front Matter....Pages 465-465
Physical Design Overview....Pages 467-477
Floorplan Design Using Annealing....Pages 479-488
GOALIE: A Space-Efficient System for VLSI Artwork Analysis....Pages 489-497
Gordian: A New Global Optimization/ Rectangle Dissection Method for Cell Placement....Pages 499-507
Exact Zero Skew....Pages 509-520
Front Matter....Pages 465-465
Efficient Network Flow Based Min-Cut Balanced Partitioning....Pages 521-534
Rectangle-Packing-Based Module Placement....Pages 535-548
Front Matter....Pages 549-549
Timing, Test and Manufacturing Overview....Pages 551-562
A Methodology for Worst Case Design of Integrated Circuits....Pages 563-566
Timing Analysis using Functional Relationships....Pages 567-574
On the Design of Robust Multiple Fault Testable CMOS Combinational Logic Circuits....Pages 575-584
Circuit Optimization Driven by Worst-Case Distances....Pages 585-595
Verifying Clock Schedules....Pages 597-613
Efficient Implementation of Retiming....Pages 615-630
Front Matter....Pages 631-631
A Cadence Perspective on ICCAD....Pages 633-638
ICCAD and Fujitsu CAD Activities....Pages 639-644
ICCAD’s Impact in IBM....Pages 645-652
Magma and ICCAD....Pages 653-657
Designers Face Critical Challenges and Discontinuities of Analog/Mixed Signal Design and Physical Verification....Pages 659-662
NEC and ICCAD — EDA Partners in Success....Pages 663-674
The Strong Mutual Impact between Philips Research and ICCAD....Pages 675-681
Contributions from the “Best of ICCAD” to Synopsys....Pages 683-687
ICCAD and Xilinx....Pages 689-695
Back Matter....Pages 697-714
