دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advanced Logic Synthesis
دانلود کتاب سنتز منطقی پیشرفته
مشخصات کتاب
Advanced Logic Synthesis
ویرایش: 1
نویسندگان: André Inácio Reis. Rolf Drechsler (eds.)
سری:
ISBN (شابک) : 9783319672946, 9783319672953
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 236
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب سنتز منطقی پیشرفته: مدارها و سیستم ها
در صورت تبدیل فایل کتاب Advanced Logic Synthesis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز منطقی پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز منطقی پیشرفته
این کتاب یک مرجع تک منبعی به پیشرفته ترین هنر در سنتز منطق ارائه می دهد. خوانندگان از دیدگاه های تخصصی نویسندگان در مورد فن آوری های جدید و سنتز منطق، ساختارهای داده جدید، کلان داده ها و سنتز منطق، و سنتز منطق همگرا بهره خواهند برد. نویسندگان تکنیک‌هایی را توصیف می‌کنند که خوانندگان را قادر می‌سازد از پیشرفت‌های اخیر در تکنیک‌ها و چارچوب‌های کلان داده استفاده کنند تا الگوریتم‌های ترکیب منطقی بهتری داشته باشند.
توضیحاتی درمورد کتاب به خارجی
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms.
فهرست مطالب
Front Matter ....Pages i-x
EDA3.0: Implications to Logic Synthesis (Leon Stok)....Pages 1-20
Can Parallel Programming Revolutionize EDA Tools? (Yi-Shan Lu, Keshav Pingali)....Pages 21-41
Emerging Circuit Technologies: An Overview on the Next Generation of Circuits (Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla)....Pages 43-67
Physical Awareness Starting at Technology-Independent Logic Synthesis (André Inácio Reis, Jody M. A. Matos)....Pages 69-101
Identifying Transparent Logic in Gate-Level Circuits (Yu-Yun Dai, Robert K. Brayton)....Pages 103-124
Automated Pipeline Transformations with Fluid Pipelines (Rafael T. Possignolo, Elnaz Ebrahimi, Haven Skinner, Jose Renau)....Pages 125-150
Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas (Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker)....Pages 151-168
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver (Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida, Paolo Ienne)....Pages 169-188
A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit (Xuesong Peng, Weikang Qian)....Pages 189-207
Decomposition of Index Generation Functions Using a Monte Carlo Method (Tsutomu Sasao, Jon T. Butler)....Pages 209-225
Back Matter ....Pages 227-232
