{"product_id":"9780792396529","title":"Binary Decision Diagrams and Applications for VLSI CAD","description":"\u003ch1\u003eBinary Decision Diagrams and Applications for VLSI CAD\u003c\/h1\u003e \u003ch2\u003eMinato, Shin-ichi\u003c\/h2\u003e \u003cp\u003eSymbolic 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. \u003cbr\u003e  `\u003cem\u003eBinary Decision Diagrams and Applications for VLSI CAD\u003c\/em\u003e 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.  \u003cbr\u003e  `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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1995-11-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792396529\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4613-1303-8\u003c\/p\u003e \u003cp\u003eDimensions: 234.0cm x156.0cm\u003c\/p\u003e \u003cp\u003ePages: 142.0\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578393059468,"sku":"9780792396529","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792396529.jpg?v=1767145586","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792396529","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}