دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Alain Vachoux (auth.), Pierre Boulet (eds.) سری: ISBN (شابک) : 9780387261492, 0387261516 ناشر: Springer US سال نشر: 2005 تعداد صفحات: 305 [300] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
در صورت تبدیل فایل کتاب Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’04 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در زبانهای طراحی و مشخصات SoCs: مشارکتهای منتخب از FDL’04 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
هفتمین کتاب از مجموعههای CHDL از مجموعهای از بهترین مقالات انجمن زبانهای مشخصات و طراحی (FDL'04) تشکیل شده است. FDL یک انجمن اروپایی برای یادگیری و تبادل در مورد روندهای جدید در کاربرد زبان ها و مدل ها برای طراحی سیستم های الکترونیکی و ناهمگن است.
این انجمن حول چهار کارگاه تشکیل شده بود که همگی در این کتاب نشان داده شده اند. مقالات برجسته: سیستمهای سیگنال آنالوگ و مختلط، مشخصات و طراحی سیستم مبتنی بر UML، طراحی سیستم مبتنی بر C/C++ و زبانهایی برای مشخصات رسمی و تأیید.
سیستمهای سیگنال آنالوگ و مختلط مقداری را به همراه دارد. پاسخ
به مشکل دشوار شبیه سازی همزمان مدل های گسسته و پیوسته
محاسبات. فصلهای طراحی و مشخصات سیستم مبتنی بر UML بینشی را
در مورد نحوه استفاده از مهندسی مدل محور برای طراحی سیستمهای
روی تراشه به ارمغان میآورند. مقالات طراحی سیستم مبتنی بر
C/C++ عمدتاً طراحی سطح سیستم را با SystemC بررسی میکنند.
زبانهای رسمی
مشخصات و تأیید توسط یک مشارکت دعوتشده در استفاده از ادعاهای
زمانی برای بررسی و شبیهسازی مدل نمادین نشان داده میشود. و
در نهایت فصلی از این کتاب که توسط اعضای برجسته صنعت طراحی
خودرو ارائه شده است، استاندارد اخیر صنعت AutoSAR را ارائه
میکند.
به طور کلی پیشرفتها در زبانهای طراحی و مشخصات برای SoCs یک فرصت عالی برای با آخرین پیشرفت های تحقیقاتی در زمینه زبان ها برای طراحی سیستم های الکترونیکی و ناهمگن آشنا شوید.
The seventh book in the CHDL Series is composed of a selection of the best articles from the Forum on Specification and Design Languages (FDL'04). FDL is the European Forum to learn and exchange on new trends on the application of languages and models for the design of electronic and heterogeneous systems.
The forum was structured around four workshops that are all represented in the book by outstanding articles: Analog and Mixed-Signal Systems, UML-based System Specification and Design, C/C++-Based System Design and Languages for Formal Specification and Verification.
The Analog and Mixed-Signal Systems contributions bring some
answers to the difficult problem of co-simulating discrete
and continuous models of computation. The UML-based System
Specification and Design chapters bring insight into how to
use the Model Driven Engineering to design Systems-on-Chip.
The C/C++-Based System Design articles mainly explore system
level design with SystemC. The Languages for Formal
Specification and Verification is represented by an invited
contribution on the use of temporal assertions for symbolic
model checking and simulation. And finally chapter in this
book contributed by preeminent members of the automotive
design industry presents the recent industry standard
AutoSAR.
Overall Advances in Design and Specification Languages for SoCs is an excellent opportunity to catch up with the latest research developments in the field of languages for electronic and heterogeneous system design.