فیزیک

سنتز سخت افزار سطح بالاتر

Higher-Level Hardware Synthesis

دانلود کتاب Higher-Level Hardware Synthesis (به فارسی: سنتز سخت افزار سطح بالاتر) نوشته شده توسط «Richard Sharp»

اطلاعات کتاب سنتز سخت افزار سطح بالاتر

موضوع اصلی: فیزیک

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

ناشر: Springer

نویسنده: Richard Sharp

زبان: English

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

سال انتشار: 2004

تعداد صفحه: 216

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

کد کتاب: 3540213066 , 9783540213062 , 9783540246572

نوبت چاپ: 1

توضیحات کتاب سنتز سخت افزار سطح بالاتر

افزایش تصاعدی چگالی ترانزیستور بر روی تراشه‌های کامپیوتری که از قانون 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.

دانلود کتاب «سنتز سخت افزار سطح بالاتر»

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