دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Carlos Delgado Kloos, Peter T. Breuer (auth.), Carlos Delgado Kloos, Peter T. Breuer (eds.) سری: The Kluwer International Series in Engineering and Computer Science 307 ISBN (شابک) : 9781461359418, 9781461522379 ناشر: Springer US سال نشر: 1995 تعداد صفحات: 262 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 26 مگابایت
کلمات کلیدی مربوط به کتاب معانی رسمی برای VHDL: مدارها و سیستم ها، سخت افزار کامپیوتر، روش های محاسباتی، مهندسی برق
در صورت تبدیل فایل کتاب Formal Semantics for VHDL به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معانی رسمی برای VHDL نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مشخص شده است که طراحی رسمی و روشهای تأیید یک نیاز مهم برای
دستیابی به طراحیهای سیستم با کیفیت بالا است. این زمینه در طی
چند سال اخیر بسیار پیشرفت کرده است و نتیجه آن این واقعیت است
که روشهای طراحی رسمی و تأیید امروزه توسط چندین ابزار، هم
تجاری و هم دانشگاهی پشتیبانی میشوند.
اگر قرار است ابزارها و کاربران مختلف یک زبان را تولید و
بخوانند، لازم است که معنای یکسانی توسط آنها به همه ساختارها و
عناصر زبان اختصاص داده شود. کتابچه راهنمای مرجع زبان
استاندارد VHDL استاندارد فعلی IEEE (LRM) سعی می کند VHDL را
تا حد امکان به روشی توصیفی تعریف کند و معنای شناسی را به زبان
انگلیسی توضیح دهد. اما حفظ دقت و وضوح در معنایی که به این شکل
تعریف شده است بسیار دشوار است، و همین باعث شده است که بسیاری
از تصورات نادرست و تفسیرهای متناقض ایجاد شود.
معناشناسی رسمی برای VHDL اولین کتابی است که
مجموعهای منسجم از معناشناسی را برای زبان VHDL ارائه میکند.
فصلها چندین معناشناسی را بر اساس فرمالیسم زیربنایی متفاوتی
توصیف میکنند: دو تای آنها از شبکههای پتری بهعنوان زبان
مقصد استفاده میکنند و دو تای آنها از منطق مرتبه بالاتر
استفاده میکنند. دو نفر از مفاهیم کاربردی استفاده می کنند و
در نهایت دیگری از مفهوم جبرهای در حال تکامل استفاده می
کند.
معناشناسی رسمی برای VHDL خواندنی ضروری برای محققان
در روش های رسمی است و می تواند به عنوان متنی برای یک دوره
پیشرفته در این زمینه استفاده شود.
It is recognized that formal design and verification methods
are an important requirement for the attainment of high
quality system designs. The field has evolved enormously
during the last few years, resulting in the fact that formal
design and verification methods are nowadays supported by
several tools, both commercial and academic.
If different tools and users are to generate and read the
same language then it is necessary that the same semantics is
assigned by them to all constructs and elements of the
language. The current IEEE standard VHDL language reference
manual (LRM) tries to define VHDL as well as possible in a
descriptive way, explaining the semantics in English. But
rigor and clarity are very hard to maintain in a semantics
defined in this way, and that has already given rise to many
misconceptions and contradictory interpretations.
Formal Semantics for VHDL is the first book that
puts forward a cohesive set of semantics for the VHDL
language. The chapters describe several semantics each based
on a different underlying formalism: two of them use Petri
nets as target language, and two of them higher order logic.
Two use functional concepts, and finally another uses the
concept of evolving algebras.
Formal Semantics for VHDL is essential reading for
researchers in formal methods and can be used as a text for
an advanced course on the subject.
Front Matter....Pages i-xiv
Giving Semantics to VHDL: An Introduction....Pages 1-8
A Functional Semantics for Delta-Delay VHDL Based on Focus....Pages 9-42
A Functional Semantics for Unit-Delay VHDL....Pages 43-70
An Operational Semantics for a Subset of VHDL....Pages 71-106
A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines....Pages 107-139
A Formal Model of VHDL Using Coloured Petri Nets....Pages 140-169
A Deterministic Finite-State Model for VHDL....Pages 170-204
A Flow Graph Semantics of VHDL: A Basis for Hardware Verification with VHDL....Pages 205-238
Back Matter....Pages 239-249