دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
دانلود کتاب مدل ها ، روش ها و ابزارهایی برای طراحی تراشه های پیچیده: کمک های منتخب از FDL 2012
مشخصات کتاب
Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
ویرایش: 1 نویسندگان: Binghao Bao, Jörg Bormann, Markus Wedler (auth.), Jan Haase (eds.) سری: Lecture Notes in Electrical Engineering 265 ISBN (شابک) : 9783319014173, 9783319014180 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 235 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب مدل ها ، روش ها و ابزارهایی برای طراحی تراشه های پیچیده: کمک های منتخب از FDL 2012: مدارها و سیستم ها، معماری پردازنده، الکترونیک و میکروالکترونیک، ابزار دقیق
در صورت تبدیل فایل کتاب Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها ، روش ها و ابزارهایی برای طراحی تراشه های پیچیده: کمک های منتخب از FDL 2012 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها ، روش ها و ابزارهایی برای طراحی تراشه های پیچیده: کمک های منتخب از FDL 2012
این کتاب مجموعه‌ای از بهترین مقالات پانزدهمین ویرایش انجمن مشخصات و زبان‌های طراحی (FDL) را گرد هم می‌آورد که در سپتامبر 2012 در دانشگاه فناوری وین، وین، اتریش برگزار شد. FDL یک انجمن بین المللی تثبیت شده است که به انتشار نتایج تحقیقات، تجربیات عملی و ایده های جدید در کاربرد مشخصات، طراحی و زبان های تأیید در طراحی، مدل سازی و تأیید مدارهای مجتمع، سیستم های پیچیده سخت افزاری/نرم افزاری تعبیه شده و ترکیبی اختصاص دارد. -سیستم های فناوری.
توضیحاتی درمورد کتاب به خارجی
This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
فهرست مطالب
Front Matter....Pages i-xv
Formal Plausibility Checks for Environment Constraints....Pages 1-16
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process....Pages 17-36
Formal Specification Level....Pages 37-52
TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0....Pages 53-68
SCandal: SystemC Analysis for Nondeterminism Anomalies....Pages 69-88
A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS....Pages 89-108
Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs....Pages 109-126
Model Based Design of Distributed Embedded Cyber Physical Systems....Pages 127-143
Model-Driven Methodology for the Development of Multi-level Executable Environments....Pages 145-164
GREEN HOME: The Concept and Study of Grid Responsiveness....Pages 165-178
Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components....Pages 179-199
Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures....Pages 201-221
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Hit Refresh
دانلود کتاب La Laurisilva. Canarias, Madeira y Azores
دانلود کتاب Al Qaeda Now: Understanding Today's Terrorists
دانلود کتاب Про Карла Гаусса, Астрід Ліндгрен, Ніколо Паганіні, Каміллу Клодель, Ван Гога, Соломію Крушельницьку
