The WWW meets EDA: Usability evaluation of OBDD-heuristics via the Internet

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 ..

[1]  Prof. Dr. Christoph Meinel,et al.  Algorithms and Data Structures in VLSI Design , 1998, Springer Berlin Heidelberg.

[2]  David Bryan,et al.  Combinational profiles of sequential benchmark circuits , 1989, IEEE International Symposium on Circuits and Systems,.

[3]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[4]  Alan O. Freier,et al.  The SSL Protocol Version 3.0 , 1996 .

[5]  Larry Wall,et al.  Programming Perl (2nd ed.) , 1996 .

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

[7]  Philip Zimmermann,et al.  PGP source code and internals , 1995 .

[8]  Scott Hauck,et al.  Data security for Web-based CAD , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[9]  Olivier Zendra,et al.  Eecient Dynamic Dispatch without Virtual Function Tables. the Smalleiiel Compiler , 1998 .

[10]  Christoph Meinel,et al.  Sample Method for Minimization of OBDDs , 1998, SOFSEM.