ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Robustness and Usability in Modern Design Flows

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

Robustness and Usability in Modern Design Flows

مشخصات کتاب

Robustness and Usability in Modern Design Flows

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 1402065353, 9781402065354 
ناشر:  
سال نشر: 2008 
تعداد صفحات: 177 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 769 کیلوبایت 

قیمت کتاب (تومان) : 41,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب 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).





نظرات کاربران