عنوان
پدید آورنده
موضوع
رده
TK7888.4 .A38 2011
TK7888
.
4
.
A38
2011
کتابخانه
محل استقرار
استان: آذربایجان شرقی ـ شهر: سهند
شابک
شابک
9781441975188 (electronic bk.)
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-5936
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Advanced techniques in logic synthesis, optimizations and application
نام عام مواد
[Book]
نام نخستين پديدآور
/ Sunil P. Khatri, Kanupriya Gulati, editors
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, c2011.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xxi, 423 p.)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
متن يادداشت
Preface; Contents; Contributors; 1 Introduction; Sunil P. Khatri and Kanupriya Gulati; Part I Logic Decomposition; 2 Logic Synthesis by Signal-Driven Decomposition; 3 Sequential Logic Synthesis Using Symbolic Bi-decomposition; 4 Boolean Factoring and Decomposition of Logic Networks; 5 Ashenhurst Decomposition Using SATand Interpolation; 6 Bi-decomposition Using SAT and Interpolation; Part II Boolean Satisfiability; 7 Boundary Points and Resolution; 8 SAT Sweeping with Local Observability Don't-Cares; 9 A Fast Approximation Algorithm for MIN-ONE SAT and Its Application on MAX-SAT Solving.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic design
موضوع مستند نشده
Electronic books
رده بندی ديویی
شماره
004
.
2
رده بندی کنگره
شماره رده
TK7888
.
4
نشانه اثر
.
A38
2011
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Khatri, Sunil P.,1965-
مستند نام اشخاص تاييد نشده
Gulati, Kanupriya
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
