دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1st ed. 2011 نویسندگان: Khatri. Sunil P(Editor), Gulati. Kanupriya(Editor) سری: ISBN (شابک) : 9781441975171, 1441975187 ناشر: Springer New York سال نشر: 2010;2011 تعداد صفحات: 422 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
در صورت تبدیل فایل کتاب Advanced Techniques in Logic Synthesis, Optimizations and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های پیشرفته در ترکیب منطق ، بهینه سازی و برنامه ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب پیشرفتهای اخیر در زمینه سنتز و طراحی منطق، از جمله تطبیق بولی، تجزیه منطق، رضایتپذیری بولی، تکنیکهای سنتز پیشرفته و کاربردهای طراحی منطق را پوشش میدهد. همه این موضوعات برای مهندسین CAD که در طراحی منطق، بهینهسازی منطق و تأیید کار میکنند، ارزشمند هستند. مهندسانی که به دنبال فرصتهایی برای بهینهسازی مدارهای مجتمع VLSI هستند، این کتاب را به عنوان یک مرجع ارزشمند خواهند یافت، زیرا هیچ کتابی وجود ندارد که این مطالب را به صورت سیستماتیک پوشش دهد.
This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. All of these topics are valuable to CAD engineers working in Logic Design, Logic Optimization, and Verification. Engineers seeking opportunities for optimizing VLSI integrated circuits will find this book as an invaluable reference, since there is no existing book that covers this material in a systematic fashion.
Front Matter....Pages i-xxi
Introduction....Pages 1-6
Front Matter....Pages 7-7
Logic Synthesis by Signal-Driven Decomposition....Pages 9-29
Sequential Logic Synthesis Using Symbolic Bi-decomposition....Pages 31-45
Boolean Factoring and Decomposition of Logic Networks....Pages 47-66
Ashenhurst Decomposition Using SAT and Interpolation....Pages 67-85
Bi-decomposition Using SAT and Interpolation....Pages 87-105
Front Matter....Pages 107-107
Boundary Points and Resolution....Pages 109-127
SAT Sweeping with Local Observability Don’t-Cares....Pages 129-148
A Fast Approximation Algorithm for MIN-ONE SAT and Its Application on MAX-SAT Solving....Pages 149-170
Algorithms for Maximum Satisfiability Using Unsatisfiable Cores....Pages 171-182
Front Matter....Pages 183-183
Simulation and SAT-Based Boolean Matching for Large Boolean Networks....Pages 185-201
Logic Difference Optimization for Incremental Synthesis....Pages 203-225
Large-Scale Boolean Matching....Pages 227-247
Front Matter....Pages 249-249
Algebraic Techniques to Enhance Common Sub-expression Extraction for Polynomial System Synthesis....Pages 251-266
Automated Logic Restructuring with a SPFDs....Pages 267-286
Extracting Functions from Boolean Relations Using SAT and Interpolation....Pages 287-307
A Robust Window-Based Multi-node Minimization Technique Using Boolean Relations....Pages 309-334
Front Matter....Pages 335-335
Synthesizing Combinational Logic to Generate Probabilities: Theories and Algorithms....Pages 337-357
Probabilistic Error Propagation in a Logic Circuit Using the Boolean Difference Calculus....Pages 359-381
Digital Logic Using Non-DC Signals....Pages 383-400
Front Matter....Pages 335-335
Improvements of Pausible Clocking Scheme for High-Throughput and High-Reliability GALS Systems Design....Pages 401-417
Back Matter....Pages 419-423