Ordered Binary Decision Diagrams and Their Significance in ComputerAided Design of VLSI Ci.pdf

.. UNIVERSITAT TRIER Mathematik / Informatik Forschungsb ericht Nr Ordered Binary Decision Diagrams and Their Signicance in ComputerAided Design of VLSI Circuits Christoph Meinel Thorsten Theobald FB IV Informatik Zentrum Mathematik Universitat Trier TU Munc hen D Trier D Munc hen meinelunitrierde theobaldmathematiktumuenchende Electronic copies of technical reports are available: Printed copies: Via FTP: URL rmatik.uni-trier.de/pub/Users-Root/reports Trierer Forschungsberichte Via WWW: URL rmatik.uni-trier.de/Reports/Current.html Fachbereich IV - Via email: Send a mail to ftpmail@rmatik.uni-trier.de, subject Mathematik / Informatik .. ’HELP’, for detailed instructions Universitat Trier D-54286 Trier ISSN 0944-0488 Ordered Binary Decision Diagrams and Their Signicance in ComputerAided Design of VLSI Circuits Christoph Meinel Thorsten Theobald FB IV Informatik Zentrum Mathematik Universitat Trier TU Munc hen D Trier D Munc hen meinelunitrierde theobaldmathematiktumuenchende