دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Görschwin Fey. Rolf Drechsler
سری:
ISBN (شابک) : 1402065353, 9781402065354
ناشر:
سال نشر: 2008
تعداد صفحات: 177
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 769 کیلوبایت
در صورت تبدیل فایل کتاب Robustness and Usability in Modern Design Flows به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استحکام و قابلیت استفاده در جریان طراحی مدرن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
اندازه مدارهای مجتمع فنی قابل تولید به طور مداوم افزایش می یابد. اما توانایی طراحی و تأیید این مدارها با این پیشرفت سازگار نیست. بنابراین جریان طراحی امروزی باید برای دستیابی به بهره وری بالاتر بهبود یابد. در استحکام و کاربردپذیری در جریانهای طراحی مدرن، روششناسی طراحی فعلی و متدولوژی تأیید تحلیل میشود، تعدادی از کاستیها شناسایی شده و راهحلهایی پیشنهاد میشود. بهبودهایی در روش شناسی و همچنین در الگوریتم های زیربنایی پیشنهاد شده است. ارائه عمیق مفاهیم اولیه باعث می شود کتاب خودکفا باشد. بر اساس این پایه، مشکلات اصلی طراحی هدف قرار می گیرند. به طور خاص، یک جریان ابزار کامل برای سنتز برای آزمایش پذیری توصیفات SystemC ارائه شده است. مدارهای به دست آمده کاملاً قابل آزمایش هستند و تولید الگوی آزمایشی در زمان چند جمله ای امکان پذیر است. مسائل تأیید با جزئیات بیشتر پوشش داده شده است. یک الگوی کاملاً جدید برای تأیید طراحی رسمی پیشنهاد شده است. این مبتنی بر درک طراحی، تولید خودکار ویژگی ها و پشتیبانی ابزار قدرتمند برای اشکال زدایی است. همه این تکنیکهای جدید بهطور تجربی ارزیابی میشوند و نتایج تجربی ارائه میشوند. در نتیجه، یک جریان طراحی پیشرفته ایجاد میشود که اتوماسیون بیشتری را فراهم میکند (یعنی قابلیت استفاده بهتر) و احتمال معرفی خطاهای مفهومی (یعنی استحکام بالاتر) را کاهش میدهد.
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore todays design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Verification issues are covered in even more detail. A whole new paradigm for formal design verification is suggested. This is based upon design understanding, the automatic generation of properties and powerful tool support for debugging failures. All these new techniques are empirically evaluated and experimental results are provided.As a result, an enhanced design flow is created that provides more automation (i.e. better usability) and reduces the probability of introducing conceptual errors (i.e. higher robustness).