• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Advanced techniques in logic synthesis, optimizations and application

پدید آورنده
/ Sunil P. Khatri, Kanupriya Gulati, editors

موضوع
Logic design,Electronic books

رده
TK7888
.
4
.
A38
2011

کتابخانه
کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند

محل استقرار
استان: آذربایجان شرقی ـ شهر: سهند

کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند

تماس با کتابخانه : 04133443834

شابک

شابک
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

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال