عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9781461285588
شابک
9781461313038
شماره کتابشناسی ملی
شماره
b402954
عنوان و نام پديدآور
عنوان اصلي
Binary Decision Diagrams and Applications for VLSI CAD
نام عام مواد
[Book]
نام نخستين پديدآور
by Shin-ichi Minato.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston, MA :
نام ناشر، پخش کننده و غيره
Springer US,
تاریخ نشرو بخش و غیره
1996.
فروست
عنوان فروست
Kluwer International Series in Engineering and Computer Science, VLSI, Computer Architecture and Digital Signal Processing,
مشخصه جلد
342
شاپا ي ISSN فروست
0893-3405 ;
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years ... BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. ... this book can serve as an introduction to BDD techniques and ... it presents several new ideas on BDDs and their applications. ... many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9781461285588
قطعه
عنوان
Springer eBooks
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer engineering.
موضوع مستند نشده
Computer-aided design.
موضوع مستند نشده
Engineering.
موضوع مستند نشده
Systems engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Minato, Shin-ichi.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20190301074700.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
