دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب System Specification & Design Languages: Best of FDL’02
دانلود کتاب مشخصات سیستم و زبان های طراحی: بهترین FDL’02
مشخصات کتاب
System Specification & Design Languages: Best of FDL’02
ویرایش: 1 نویسندگان: Ernst Christen (auth.), Eugenio Villar, Jean Mermet (eds.) سری: ISBN (شابک) : 9781402074141, 9780306487347 ناشر: Springer US سال نشر: 2004 تعداد صفحات: 331 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب مشخصات سیستم و زبان های طراحی: بهترین FDL’02: سخت افزار کامپیوتر، روش های محاسباتی، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی، مهندسی الکترونیک و کامپیوتر، سیستم های هدف ویژه و مبتنی بر کاربرد
در صورت تبدیل فایل کتاب System Specification & Design Languages: Best of FDL’02 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات سیستم و زبان های طراحی: بهترین FDL’02 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشخصات سیستم و زبان های طراحی: بهترین FDL’02
در این چهارمین کتاب از سری CHDL، منتخبی از بهترین مقالات ارائه شده در FDL'02 منتشر شده است. مشخصات سیستم و زبان های طراحی شامل مشارکت های تحقیقاتی برجسته در چهار زمینه ذکر شده در بالا است. بنابراین، مشارکت‌های طراحی سیستم آنالوگ و سیگنال مختلط، رویکردهای روش‌شناختی جدید مانند مشخصات رفتاری AMS، مدلسازی و شبیه‌سازی سیگنال مختلط، استفاده مجدد از AMS و طراحی MEMs با استفاده از زبان‌های مدلسازی جدید مانند VHDL-AMS، Verilog-AMS، Modelica و الحاقات سیگنال ترکیبی آنالوگ به SystemC.
UML استاندارد واقعی برای توسعه SW است که مراحل اولیه توسعه تجزیه و تحلیل نیاز و مشخصات سیستم را پوشش می دهد. مشخصات سیستم مبتنی بر UML و مشارکت‌های طراحی به آخرین نتایج در زمینه‌های داغ مانند پروفایل سیستم، تجزیه و تحلیل عملکرد و کاربرد UML در سیستم‌های پیچیده، HW/SW تعبیه‌شده و طراحی SoC می‌پردازد.C/C++-برای طراحی سیستم‌های HW/SW ورود به جریان های استاندارد طراحی صنعتی مقالات منتخب مدلسازی سیستم، تأیید سیستم و تولید SW را پوشش می دهند.
مقالات کارگاه آموزشی Specification Formalisms for Proven design روش های رسمی برای مدل سازی و طراحی سیستم، یکپارچگی معنایی و زبان های رسمی مانند ALPHA، HANDLE و B را ارائه می کنند.
توضیحاتی درمورد کتاب به خارجی
In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.
UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.
The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.
فهرست مطالب
Selected Topics in Mixed-Signal Simulation....Pages 5-17
Mixed-Signal Extensions for SystemC....Pages 19-28
Mixed-Domain Modeling in Modelica....Pages 29-40
VHDL-AMS and Verilog-AMS as Competitive Solutions....Pages 41-50
VHDL-AMS in MEMS Design Flow....Pages 51-60
A New Approach to Model Generation for Nonlinear Mixed-Signal Circuits in the Behavioral and Functional Domain....Pages 61-73
Multi-Level Analog/Mixed-Signal IP Specification for Platform-Based Design....Pages 75-84
A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis....Pages 87-106
Support for Embedded Systems in UML 2.0....Pages 107-118
Embedded System Design using UML and Platforms....Pages 119-128
A Design Methodology for the Development of a Complex System-On-Chip Using UML and Executable System Models....Pages 129-141
Using the SHE Method for UML-Based Performance Modeling....Pages 143-160
SystemC Code Generation from UML Models....Pages 161-171
Hardware Dependent Software, the Bridge Between Hardware and Software....Pages 173-182
C/C++ Based System Design Flow using SpecC, VCC and SystemC....Pages 185-194
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams....Pages 195-205
Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs....Pages 207-217
SystemC-Plus Complex Data Types for Telecom Applications....Pages 219-229
A Method for the Development of Combined Floating- and Fixed-Point SystemC Models....Pages 231-242
Object-Oriented High-Level Modeling of an Infiniband to PCI-X Bridge....Pages 243-253
A SystemC Model for RTOS Kernel....Pages 255-264
An Abstract Modeling Approach Towards System-Level Design-Space Exploration....Pages 267-282
Modeling Techniques in Design-By-Refinement Methodologies....Pages 283-292
Design of Highly Parallel Architectures with Alpha and Handel....Pages 293-302
MTG* and Gray Box....Pages 303-314
Specification and Refinement of Hardware Components in B....Pages 315-325
Ensuring Semantic Integrity in Knowledge Bases for Embedded Systems....Pages 327-340
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Platin: Teil A 5
دانلود کتاب Feminism in Literature: A Gale Critical Companion. Volume 1: Antiquity-18th Century
دانلود کتاب An Introduction to Robotic Stylistics: A Future Trend
دانلود کتاب Времена глагола
