期刊全称 | Binary Decision Diagrams and Applications for VLSI CAD | 影响因子2023 | Shin-ichi Minato | 视频video | | 学科分类 | The Springer International Series in Engineering and Computer Science | 图书封面 |  | 影响因子 | 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-aideddesign (CAD). The concept of decision graphs as an abstractrepresentation of Boolean functions dates back to the early work byLee and Akers. In the last ten years, BDDs have found widespread useas a concrete data structure for symbolic Boolean manipulation. WithBDDs, functions can be constructed, manipulated, and compared bysimple and efficient graph algorithms. Since Boolean functions canrepresent not just digital circuit functions, but also suchmathematical domains as sets and relations, a wide variety of CADproblems can be solved using BDDs. .`.Binary Decision Diagrams and Applications for VLSI CAD. providesvaluable information for both those who are new to BDDs as well as tolong time aficionados.‘ -from the Foreword by Randal E. Bryant..`Over the past ten years ... BDDs have attracted the attention of manyresearchers because of their suitability for representing Booleanfunctions. They are now widely used in many practical VLSI CADsystems. ... this book can serve as an introduction to BDD tec | Pindex | Book 1996 |
The information of publication is updating
|
|