دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Yoeli. Michael, Kol. Rakefet سری: Wiley series on parallel and distributed computing ISBN (شابک) : 0471704490, 9780470253397 ناشر: Wiley-Interscience سال نشر: 2008 تعداد صفحات: 250 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب تأیید سیستم ها و مدارها با استفاده از LOTOS، Petri Nets و CCS: مدارهای مجتمع، تایید.، نرم افزار کامپیوتر، تایید.، LOTOS (زبان برنامه کامپیوتری)، پتری نت.، نرم افزار کامپیوتری.، مدارهای مجتمع.، فناوری و مهندسی، الکترونیک، مدارها، یکپارچه.، تکنولوژی و مهندسی، الکترونیک، Electro عمومی.
در صورت تبدیل فایل کتاب Verification of systems and circuits using LOTOS, Petri Nets, and CCS به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید سیستم ها و مدارها با استفاده از LOTOS، Petri Nets و CCS نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب عملی مقدمه ای گام به گام و تعاملی برای تأیید رسمی سیستم ها و مدارها ارائه می دهد. این کتاب زمینه تئوری را ارائه میکند و کاربرد سه مجموعه ابزار تأیید قدرتمند را معرفی میکند: CADP مبتنی بر LOTOS، PETRIFY مبتنی بر شبکههای پتری، و CWB مبتنی بر CCS. این کتاب تأیید مدارهای ناهمزمان مدولار، پروتکلهای بیت متناوب، آربیترها، کنترلکنندههای خط لوله، شمارندههای بالا به پایین، و مبدلهای فاز، و همچنین بسیاری از نمونههای تأیید دیگر را پوشش میدهد.
با استفاده از مثالهای دقیق دادهشده، تمرینها. و آموزش های آسان برای پیگیری، کامل با مجموعه ابزارهای قابل دانلود موجود از طریق وب سایت های مرجع، این کتاب به عنوان یک متن ایده آل در دوره های پیشرفته کارشناسی و کارشناسی ارشد در علوم کامپیوتر و مهندسی برق عمل می کند. همچنین بهعنوان مرجع دسکتاپ برای مهندسین راستیآزمایی که علاقهمند به تأیید اینکه سیستمهای دیجیتال طراحیشده مطابق با مشخصات و الزامات هستند، ارزشمند است.
This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.
Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.
Content: VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS, PETRI NETS, AND CCS
CONTENTS
1. Introduction
2. Processes
3. From Digital Hardware to Processes
4. Introducing LOTOS
5. Introducing Petri Nets
6. Introducing CCS
7. Verification of Modular Asynchronous Circuits
8. Verification of Communication Protocols
9. Verification of Arbiters
10. More Verification Case Studies
11. Guide to Further Studies
Index.