论文信息 - Printed Copies: Printed Copies: Eecient Obdd-based Boolean Manipulation in Cad beyond Current Limits Eecient Obdd-based Boolean Manipulation in Cad beyond Current Limits

Printed Copies: Printed Copies: Eecient Obdd-based Boolean Manipulation in Cad beyond Current Limits Eecient Obdd-based Boolean Manipulation in Cad beyond Current Limits

Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to ftpmail@ftp.informatik.uni-trier.de, subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..

Jochen Bern | Christoph Meinel | Anna Slobodov

[1] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[2] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[3] Randal E. Bryant,et al. On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication , 1991, IEEE Trans. Computers.

[4] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.

[5] Christoph Meinel,et al. Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs , 1993, STACS.

[6] K. Karplus. Using if-then-else DAGs for multi-level logic minimization , 1989 .