XLeitfäden der Informatik

Graphenbasierte Funktionsdarstellung

Boolesche und Pseudo-Boolesche Funktionen

Authors: Drechsler, Rolf, Becker, Bernd

Free Preview

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-663-01442-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
About this Textbook

Kompakte Darstellung und effiziente Manipulation Boolescher Funktionen ist in vielen Anwendungen, insbesondere des computergestützten Schaltkreisentwurfes, eine zentrale Aufgabe. Im Hinblick auf Anwendungen ist es dabei von großem Interesse, einen guten Kompromiß zwischen oben angesprochener Kompaktheit und Effizienz zu finden. Besonderes Interesse finden in diesem Zusammenhang die von Bryant 1985 eingeführten Ordered Binary Decision Diagrams (OBDDs): Sie werden insbesondere in den Bereichen Verifikation und Logiksynthese auch industriell erfolgreich eingesetzt. Mit wachsender Zahl von Anwendungen sind auch inhärente Nachteile sichtbar geworden und haben insbesondere in den letzten drei Jahren zu Weiterentwicklungen des Basiskonzeptes geführt. Dabei hat sich eine ganze Familie von graphenbasierten Funktionsdarstellungen entwickelt, die je nach Anwendungsgebiet Vorteile gegenüber den klassischen OBDDs bieten. In diesem Buch wird eine Klassifizierung der verschiedenen Ansätze sowohl aus theoretischer wie auch praktischer Sicht gegeben. Es werden diverse Datenstrukturen für Boolesche (und ganzzahlige) Funktionen vorgestellt und deren Vor- und Nachteile untersucht. Das Buch wendet sich sowohl an den Einsteiger als einführende Darstellung als auch an den erfahrenen Benutzer. Es werden verschiedene Anwendungen diskutiert, die dem Leser ein tieferes Verständnis der Materie ermöglichen. "... The monograph is well written and the reader gets a good introduction into the subject." I.Wegener. Statistics & Decisions, München

Table of contents (11 chapters)

Table of contents (11 chapters)

Buy this book

eBook $49.99
price for USA in USD
  • ISBN 978-3-663-01442-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Graphenbasierte Funktionsdarstellung
Book Subtitle
Boolesche und Pseudo-Boolesche Funktionen
Authors
Series Title
XLeitfäden der Informatik
Copyright
1998
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Springer Fachmedien Wiesbaden
eBook ISBN
978-3-663-01442-3
DOI
10.1007/978-3-663-01442-3
Softcover ISBN
978-3-519-02149-0
Series ISSN
1615-5432
Edition Number
1
Number of Pages
200
Number of Illustrations
14 b/w illustrations
Topics