دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: فیزیک ویرایش: 1 نویسندگان: Richard Sharp سری: ISBN (شابک) : 3540213066, 9783540246572 ناشر: Springer سال نشر: 2004 تعداد صفحات: 216 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
در صورت تبدیل فایل کتاب Higher-Level Hardware Synthesis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز سخت افزار در سطح بالاتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
افزایش تصاعدی چگالی ترانزیستور بر روی تراشههای کامپیوتری که از قانون Moore+s پشتیبانی میکند در حال حاضر برای چهار دهه، چالشهای طراحی جدیدی را برای مهندسان و دانشمندان کامپیوتر ایجاد میکند. اگر قرار است مدارها از تعداد بسیار زیاد ترانزیستورهای موجود بهره کامل ببرند، باید تکنیکهای جدیدی برای مدیریت پیچیدگی ایجاد شود. این کتاب هم طراحی زبانهای سطح بالا برای توصیف سختافزار و هم تکنیکهای درگیر در ترجمه این زبانهای سطح بالا به سیلیکون را بررسی میکند. نویسنده زبان کاربردی مرتبه اول SAFL را معرفی می کند که به طور خاص برای توصیف سخت افزار رفتاری طراحی شده است و اجرای کامپایلر سیلیکونی مرتبط با آن را شرح می دهد. در نهایت، زبان SAFL با کانالهای سبک pi-calculus و عبور کانال و اولیهها برای توصیف مدار در سطح ساختاری گسترش مییابد. معناشناسی این زبان ها رسمیت یافته و نتایج حاصل از تولید سخت افزار واقعی با بهره برداری از این تکنیک ها ارائه شده است. آلن مایکرافت.
The exponential increase in transistor density on computer chips, supporting Moore+s law now for four decades, poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available.This book investigates both the design of high-level languages for hardware description and techniques involved in translating these high-level languages to silicon. The author introduces the first-order functional language SAFL, designed specifically for behavioral hardware description, and describes the implementation of its associated silicon compiler. Finally, the SAFL language is extended with pi-calculus style channels and channel passing and primitives for structural-level circuit description. The semantics of these languages is formalized and results are presented arising from the generation of real hardware exploiting these techniques.This monograph is based on the author+s PhD work conducted at the Computer Laboratory of the University of Cambridge, UK under the supervision of Dr Alan Mycroft.