کتاب الکترونیکی

استحکام و قابلیت استفاده در جریان های طراحی مدرن

Robustness and Usability in Modern Design Flows

دانلود کتاب Robustness and Usability in Modern Design Flows (به فارسی: استحکام و قابلیت استفاده در جریان های طراحی مدرن) نوشته شده توسط «Görschwin Fey – Rolf Drechsler»

اطلاعات کتاب استحکام و قابلیت استفاده در جریان های طراحی مدرن

موضوع اصلی: 1

نوع: کتاب الکترونیکی

نویسنده: Görschwin Fey – Rolf Drechsler

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 177

حجم کتاب: 1 مگابایت

کد کتاب: 1402065353 , 978-1-4020-6535-4

توضیحات کتاب استحکام و قابلیت استفاده در جریان های طراحی مدرن

اندازه مدارهای مجتمع فنی قابل تولید به طور مداوم افزایش می یابد. اما توانایی طراحی و تأیید این مدارها با این پیشرفت سازگار نیست. بنابراین جریان طراحی امروزی باید برای دستیابی به بهره وری بالاتر بهبود یابد. در استحکام و کاربردپذیری در جریان‌های طراحی مدرن، روش‌شناسی طراحی فعلی و متدولوژی تأیید تحلیل می‌شود، تعدادی از کاستی‌ها شناسایی شده و راه‌حل‌هایی پیشنهاد می‌شود. بهبودهایی در روش شناسی و همچنین در الگوریتم های زیربنایی پیشنهاد شده است. ارائه عمیق مفاهیم اولیه باعث می شود کتاب خودکفا باشد. بر اساس این پایه، مشکلات اصلی طراحی هدف قرار می گیرند. به طور خاص، یک جریان ابزار کامل برای سنتز برای آزمایش پذیری توصیفات 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).

دانلود کتاب «استحکام و قابلیت استفاده در جریان های طراحی مدرن»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان