دانلود کتاب Advanced Logic Synthesis
کتاب سنتز منطق پیشرفته نسخه زبان اصلی
دانلود کتاب سنتز منطق پیشرفته بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Advanced Logic Synthesis
نام کتاب : Advanced Logic Synthesis
ویرایش : 1
عنوان ترجمه شده به فارسی : سنتز منطق پیشرفته
سری :
نویسندگان : André Inácio Reis, Rolf Drechsler (eds.)
ناشر : Springer International Publishing
سال نشر : 2018
تعداد صفحات : 236
ISBN (شابک) : 9783319672946 , 9783319672953
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب یک مرجع تک منبعی به پیشرفته ترین هنر در سنتز منطق ارائه می دهد. خوانندگان از دیدگاه های تخصصی نویسندگان در مورد فن آوری های جدید و سنتز منطق، ساختارهای داده جدید، کلان داده ها و سنتز منطق، و سنتز منطق همگرا بهره خواهند برد. نویسندگان تکنیک‌هایی را توصیف می‌کنند که خوانندگان را قادر می‌سازد از پیشرفت‌های اخیر در تکنیک‌ها و چارچوب‌های کلان داده استفاده کنند تا الگوریتم‌های ترکیب منطقی بهتری داشته باشند.
فهرست مطالب :
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
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی