ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic Synthesis and Verification

دانلود کتاب سنتز منطق و تایید

Logic Synthesis and Verification

مشخصات کتاب

Logic Synthesis and Verification

ویرایش:  
نویسندگان: ,   
سری: The Springer International Series in Engineering and Computer Science 
ISBN (شابک) : 0792376064, 9780792376064 
ناشر: Springer 
سال نشر: 2001 
تعداد صفحات: 472 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Logic Synthesis and Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سنتز منطق و تایید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سنتز منطق و تایید

تحقیق و توسعه سنتز منطق و تأیید در دو دهه گذشته به طور قابل توجهی بالغ شده است. بسیاری از محصولات تجاری در دسترس هستند، و آنها در مهار پیشرفت در فناوری ساخت برای تولید قطعات الکترونیکی امروزی بسیار حیاتی بوده اند. در حالی که این بلوغ اطمینان‌بخش است، پیشرفت‌ها در ساخت همچنان چالش‌های ظاهراً دشواری را ایجاد می‌کنند. منطق سنتز و تأیید یک نمای پیشرفته از سنتز و تأیید منطق ارائه می دهد. این شامل پانزده فصل است که هر فصل بر جنبه ای متمایز تمرکز دارد. هر فصل پیشرفت‌های کلیدی را ارائه می‌کند، چالش‌های آینده را ترسیم می‌کند و منابع ضروری را فهرست می‌کند. دو ویژگی منحصر به فرد این کتاب قدرت فنی و جامعیت است. فصل های کتاب توسط بیست و هشت رهبر شناخته شده در این زمینه نوشته شده است و توسط کارشناسان به همان اندازه واجد شرایط بررسی شده است. موضوعات در مجموع حوزه را در بر می گیرند. سنتز منطق و تأیید شکاف فعلی در ادبیات موجود CAD را پر می کند. هر فصل حاوی اطلاعات ضروری برای مطالعه یک موضوع در عمق زیاد و درک پیشرفت های بیشتر در این زمینه است. این کتاب برای سالمندان، دانشجویان فارغ التحصیل، محققان و توسعه دهندگان ابزارهای مرتبط طراحی به کمک کامپیوتر (CAD) در نظر گرفته شده است. از پیشگفتار: "موفقیت تجاری سنتز منطق و تایید تا حد زیادی مدیون ایده های بسیاری از نویسندگان این کتاب است. کار نوآورانه آنها به طراحی ابزارهای اتوماسیون کمک کرد که مسیر طراحی الکترونیکی را برای همیشه تغییر داد." توسط Aart J. de Geus، رئیس و مدیر عامل شرکت Synopsys.


توضیحاتی درمورد کتاب به خارجی

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges. Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references. Two unique features of this book are technical strength and comprehensiveness. The book chapters are written by twenty-eight recognized leaders in the field and reviewed by equally qualified experts. The topics collectively span the field. Logic Synthesis and Verification fills a current gap in the existing CAD literature. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field. The book is intended for seniors, graduate students, researchers, and developers of related Computer-Aided Design (CAD) tools. From the foreword: "The commercial success of logic synthesis and verification is due in large part to the ideas of many of the authors of this book. Their innovative work contributed to design automation tools that permanently changed the course of electronic design." by Aart J. de Geus, Chairman and CEO, Synopsys, Inc.





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

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