UCSD VLSI CAD LABORATORY














Last Modified: October 11, 2006
Reference Library

Algorithms, Data Structures and Theory

  1. [A21] Aho, Hopcroft, Ullman, The Design and Analysis of Computer Algorithms, Addison Wesley 1994.
  2. [A17] Ahuja, Magnanti, Orlin, Network Flows: Theory, Algorithms and Applications, Prentice Hall 1993.
  3. [A11] Baase, Computer Algorithms: Introduction to Design and Analysis, 2nd Ed., Addison Wesley 1988.
  4. [A74] Baase, Gelder, Computer Algorithms: Introduction to Design and Analysis, 3nd Ed., Addison Wesley 2000.
  5. [A63] Battista, Eades, Tamassia, Tollis, Graph Drawing, Prentice Hall 1999.
  6. [A12] Bollobas, Random Graphs, Academic Press 1985.
  7. [A6] Brassard, Bratley, Algorithmics: Theory and Practice, Prentice Hall 1986.
  8. [A3] Brassard, Bratley, Fundamentals of Algorithmics, Prentice Hall 1996. copy 1
  9. [A5] Brassard, Bratley, Fundamentals of Algorithmics, Prentice Hall 1996. copy 2
  10. [A32] Carlyle, Computer Science 270A, 1992.
  11. [A52] Cormen, Leiserson, Rivest, Introduction to Algorithms, Prentice Hall 1990. copy 1
  12. [A49] Cormen, Leiserson, Rivest, Introduction to Algorithms, Prentice Hall 1990. copy 2
  13. [A79] Cormen, Leiserson, Rivest, Introduction to Algorithms, Second Edition, Prentice Hall 2001
  14. [A65] Cormen, Leiserson, Rivest, Introduction to Algorithms, Prentice Hall 1990. copy 3
  15. [A31] Cohen, Introduction to Computer Theory, Wiley 1986.
  16. [A47] Cvetkovic, Doob, Sachs, Spectra of Graphs, Academic Press 1980.
  17. [A28] Bazilevich, Dekompozitsionnye i topologicheskie metody avtomatizirovannogo konstruirovaniia elektronnyh ustroistv (in Russian).
  18. [A53] Duff, Erisman, Reid, Direct Methods for Sparse Matrices, Oxform University Press,1986
  19. [A25] Edelsbrunner, Algorithms in Combinatorial Geometry, Springer-Verlag 1987.
  20. [A13] Even, Graph Algorithms, Technion Institute 1979.
  21. [       ] Frederick W. Grover, Inductance Calculations, D. Van. Nostrand Company, Inc. 1946
  22. [A34] Garey, Johnson, Computers and Intractability, Freeman 1979.
  23. [A27] Golub, Van Loan, Matrix Computations 2nd Ed., John Hopkins University Press 1991.
  24. [A60] Goodrich, Tamassia, Data Structures and Algorithms in JAVA, Wiley 1998.
  25. [A10] Graham, Knuth, Patashnik, Concrete Mathematics: A Foundation for Computer Science, Addison Wesley 1989.
  26. [A9] Gries, Schneider, A Logical Approach to Discrete Mathematics, Springer Verlag 1993.
  27. [A38] Hachtel, Somenzi, Logic Synthesis and Verification Algorithms, KAP 1996.
  28. [A54] Hackbusch, Iterative Solution of Large Sparse Systems of Equations, Springer-Verlag New York, Inc. 1994.
  29. [A45] Harel, Algorithmics The Spirit of Computing, Addison-Wesley 1992.
  30. [A57] Hennessy, Patterson, Computer Architecture A Quantitative Approach, third edition, Morgan Kaufmann 1996.
  31. [A76] Hennessy, Patterson, Computer Architecture A Quantitative Approach, fourth edition, Morgan Kaufmann 2007.
  32. [A69] Hastie, Trevor, Tibshirani, Robert and Friedman, Jerome, The Elements od Statistical Learning, Data mining, Inferences, and Prediction, Springer-Verlag New York, Inc. 1994.
  33. [A7] Horowitz, Sartaj Sahni, Fundamentals of Computer Algorithms, Computer Science Press 1978.
  34. [A23] Horowitz, Sahni, Rajasekaran, Computer Algorithms/C++, Computer Science Press 1996.
  35. [A35] Hu, Combinatorial Algorithms, Addison Wesley 1982.
  36. [A16] Jackson, Thoro, Applied Combinatorics With Problem Solving, Addison Wesley 1990.
  37. [A20] Jain, Fundamentals of Digital Image Processing, Prentice Hall 1989.
  38. [A56] Lancaster, Cirve and Surface Fitting, Academic Press 1986.
  39. [      ] Larry E. Mansfield, Linear Algebra with Geometric Application, Marcel Dekker, Inc. 1976.
  40. [A26] Lawler, Combinatorial Optimization: Networks and Matroids, Saunders College Publishing 1997.
  41. [A75] Lengauer, Combinatorial Algorithms for Integrated Circuit Layout, John Wiley & Sons Ltd, 1990.
  42. [A14] Lewis/Papadimitriou, Elements of the Theory of Computation, 2nd Ed., Prentice-Hall 1997.
  43. [A41] Manber, Introduction to Algorithms : A Creative Approach, Addison Wesley 1986. copy 1
  44. [A51] Manber, Introduction to Algorithms : A Creative Approach, Addison Wesley 1986. copy 2
  45. [A68] Michael R. Garey, David S. Johnson, Computers and Intractability, A Guide to the theory of NP-Completeness, W. H. Freeman and Company
  46. [A62] Moret, The Theory of Computation, Addison Wesley 1998.
  47. [A72] Rajeev Motwani and Prabhakar Raghavan, Randomized Algorithms, Cambridge University Press, 2000.
  48. [A4] Neapolitan, Naimipour, Foundations of Algorithms, Heath 1996. copy 1
  49. [A30] Neapolitan, Naimipour, Foundations of Algorithms, Heath 1996. copy 2
  50. [A1] Neapolitan, Naimipour, Foundations of Algorithms using C++ pseudocode, 2nd Ed., Jones and Bartlett Publishers 1997. copy 1
  51. [A2] Neapolitan, Naimipour, Foundations of Algorithms using C++ pseudocode, 2nd Ed., Jones and Bartlett Publishers 1997. copy 2
  52. [A70] Neapolitan, Richard, Naimipour Kumarss, Foundations of Algorithms using C++ pseudocode, 3rd Ed., Jones and Bartlett Publishers 2003.
  53. [A15] O'Rourke, Computational Geometry in C, Cambridge University Press 1993.
  54. [A44] Osman, Kelly, Meta-Heuristics: Theory & Applications, Kluwer Academic Publishers 1996.
  55. [A39] Papadimitriou, Steiglitz, Combinatorial Optimization Algorithms and Complexity, Prentice Hall 1982.
  56. [A50] Parberry, Problems on Algorithms, Prentice Hall 1995.
  57. [A48] Parlett, The Symmetric Eigenvalue Problem, Prentice-Hall 1980.
  58. [A29] Parsons, Introduction to Algorithms in Pascal, John Wiley & Sons, Inc.
  59. [A61] Preiss, Data Structures and Algorithms with Object-Oriented Design Patterns in C++, Wiley 1998.
  60. [A78] Preparata, Computational Geometry: An Introduction, Springer 1988.
  61. [A40] Purdom, Brown, The Analysis of Algorithms, CBS Publishing 1985.
  62. [A46] Rawlins, Compared to What? An Introduction to the Analysis of Algorithms Computer Science Press 1992.
  63. [      ] S.A.Greibach, Introduction to Formal Languages and Automate Theory, 1989
  64. [A59] Savage, Models of Computation, Addison Wesley 1998.
  65. [A64] Sedgewick, Algorithms, Addison Wesley 1988.
  66. [A73] Sedgewick, Algorithms in C++, Part 1-4 , Addison Wesley 1998.
  67. [A77] Sedgewick, Algorithms in C++, Part 5 , Addison Wesley 1998.
  68. [A8] Shapiro, Moret, Algorithms from P to NP, Vol. 1, The Benjamin/Cummings Publishing Company 1990.
  69. [A55] Sipser, Introduction to the Theory of Computation, PWS publishing company 1997.
  70. [A36] Standish, Data Structure Techniques, Addison-Wesley 1980.
  71. [A58] Sussman, Instructor's Manual to Introduction to Algorithms, McGraw-Hill, 1991.
  72. [A33] Taylor, Models of Computation and Formal Languages, Oxford University Press 1998.
  73. [A43] Thulasiraman, Swamy, Graphs: Theory and Algorithms, Wiley 1992.
  74. [A22] Tucker, Applied Combinatorics, 2nd Ed., Wiley 1984.
  75. [A71] Vijay V. Vazirani, Approximation Algorithms, Springer, 2003.
  76. [A18] Weiss, Data Structures and Algorithm Analysis, Addison Wesley 1992.
  77. [A19] Weiss, Data Structures and Algorithm Analysis in C, Addison Wesley 1996.
  78. [A66] William L. Briggs, Van Emden Henson, Steve F. McCormick, A Multigrid Tutorial 2rd edition, Society for Industrial and Applied Mathematics 2000.
  79. [A42] Wright, Primal-Dual Interior-Point Methods, SIAM 1997.

References (Non-Technical)

  1. [B5] Bladen, Rohrer, Five Steps in Business Correspondence<\i>.
  2. [B8] Fourer, M. Gay, Kerninghan, AMPL: A Modeling Language for Mathematical Programming<\i>, Boyd & Fraser Publishing Company, 1993.
  3. [B7] Friedl, Mastering Regular Expressions<\i>, O'Reilly 1997.
  4. [B10] Haque, Khan, Michelson, The art of Verification<\i>, Verification Central 2001.
  5. [B6] Lamport, Latex User's Guide & Reference Manual<\i>, Addison Wesley 1986.
  6. [B4] Linda Grant, Well Said: Pronunciation for Clear Communication <\i>.
  7. [B3] No more accent a CD.
  8. [B9] TableCurve 3D User's Manual, SYSTAT Software Inc.
  9. [B1] The Chicago Manual of Style, The Essential Guide for Writers, Editors, and Publishers, The University of Chicago Press.
  10. [B2] William Strunk Jr, E. B. White, The Elements of Style, Longman publishers, 2000.

    References (System / Software / Technical / Manuals, 89)

    1. [S32] Abramowitz, Stegun, Handbook of Mathematical Functions, Dover Publications 1970.
    2. [S77] Paul Albitz & Cricket Liu, DNS and BIND, O'Reilly, 1998.
    3. [S82] Deepark Alur, John Crupi, and Dan Malks, Core J2EE Patterns, Best Practices and Design Strategies, Prentice Hall PTR, 2001.
    4. [S96] Bovet, Cesati, Linux Kernel, O'Reilly 2001.
    5. [S15] Arthur, Burns, UNIX Shell Programming 3rd Ed., Wiley 1994.
    6. [S10] Biran, Breiner, Matlab for Engineers, Addison Wesley 1995.
    7. [S79] Bill Brogden, Java 2 Sun Certified Java Programmer, Certification Insider Press, 1999.
    8. [S73] Norman Walsh & Leonard Muellner, DocBook The Definitive Guide, O'Reilly, 1999.
    9. [S45] Brown, William J., Malveau, Raphael C., McCormick, Hays W. III, and Mowbray, Thomas J.AntiPatterns, Wiley Computer Publishing 1998.
    10. [S46] Booch, Grady, Object Solutions Managing the Object-Oriented Project, Addison-Wesley Publishing Company, Inc. 1996.
    11. [S67] Brent Callaghan, NFS Illustrated, ADDISON-WESLEY PROFESSIONAL COMPUTING SERIES 2000.
    12. [S87] Patrick Chan, The Java Developers Almanac, SUN.
    13. [S9] Christiansen, Schwartz, Wall, Programming Perl, O'Reilly 1996.
    14. [S103] Christiansen, Schwartz, Wall, Learning Perl Perl, O'Reilly 2001.
    15. [S84] Robert Eckstein, Marc Loy & Dave Wood, JAVA Swing, O'Reilly, 1998.
    16. [S81] Robert Englander, Developing JAVA Beans, O'Reilly, 1997.
    17. [S38] Code Farms Inc, Data Object Library, Code Farms Inc 1994.
    18. [S39] Code Farms Inc, Data Object Library, Code Farms Inc 1994.
    19. [S2] Collopy, Introduction to C Programming, Prentice Hall 1997.
    20. [S18] Cutler, Gilly, O'Reilly, The X Window System in a Nutshell, O'Reilly 1992.
    21. [S42] Dale, C++ Plus Data Structures, Jones and Bartlett, 1998.
    22. [S57] Deepak Thomas, Wankyu Choi, et al, Professional PhP4 Programming, Wrox Press, 2002.
    23. [S7] Dewhurst, Stark, Programming in C++, Prentice Hall 1995. copy 1
    24. [S31] Dewhurst, Stark, Programming in C++, Prentice Hall 1995. copy 2
    25. [S28] DiStefano, Stubberud, Williams, Feedback and Control Systems, McGraw-Hill, Inc.
    26. [S16] Evans, 10 Minute Guide to HTML, Que 1995.  (Swamy)
    27. [S26] Frisch, Essential System Administration, O'Reilly 1995.
    28. [S80] David Flanagan, Java Foundation Classes, in a Nutshell, O'Reilly, 1999.
    29. [S65] Jeffrey E.F. Friedl, Mastering Regular Expressions, O'Reilly & Associates Inc 1997.
    30. [S24] Garfinkel, Spafford, Practical UNIX and Internet Security, O'Reilly 1996.
    31. [S50] Glower, Humpreys, Weiss, Perl 5 How-To, Waite Group 1996.
    32. [S86] Elliotte Rusty Harold, Java I/O, O'Reilly, 1999.
    33. [S35] Headington, Riley, Data Abstraction and Structures Using C++, Heath 1994.
    34. [S33] Horstmann, Computing Concepts with C++ Essentials, Wiley 1997.
    35. [S54] Horstmann, Cornell, Core Java 2, Volume I-Fundamentals, 1999.
    36. [S55] Horstmann, Cornell, Core Java 2, Volume II-Fundamentals, 1999.
    37. [S12] HSpice User's Manual Volume I, Simulation and Analysis, META Software 1996. (Puneet)
    38. [S13] HSpice User's Manual Volume II, Elements and Device Models, META Software 1996. (Puneet)
    39. [S14] HSpice User's Manual Volume III, Applications and Examples, META Software 1996. (Puneet)
    40. [S4] Johnsonbaugh, Kalin, Applications Programming in Ansi C_ 3rd Ed., Prentice Hall 1995.
    41. [S49] Kernighan, Ritchie, The C Programming Language: ANSI C Version, Prentice Hall 1988.
    42. [S89] Donald E. Knuth, The Stanford GraphBase: A Platform for Combinatorial Computing, Addison-Wesley, 2002.
    43. [S37] Koenig, Moo, Ruminations on C++, Addison-Wesley 1997.
    44. [S41] Kopka and Daly, A Guide to LATEX2e, Addison-Wesley 1993.
    45. [S19] Lamb, Learning the vi Editor, O'Reilly 1994.
    46. [S22] Lamport, LATEX User's Guide and Reference ManualAddison-Wesley 1986.
    47. [S101] Lakos, Large-Scale C++ Software Design, Addison-Wesley 1996.
    48. [S58] Larry Wall, Tom Christiansen, Jon Orwant, Programming PerL, O'Reilly, 2000.
    49. [S85] Rosanna Lee & Scott Seligman, JNDI API Tutorial and Reference, Building Directory-Enabled Java Applications, SUN, 2000.
    50. [S76] John R. Levine, Tony Mason & Doug Brown, Lex & yacc, O'Reilly & Associates, 1995.
    51. [S56] Leslie Lamport, A Document Preparation System, Addison-Wesley 2000.
    52. [S63] Scott Markel and Darryl Leon, Sequence Analysis in a nutshell, a guide to Common Tools and Database, O'Relly 2003.
    53. [S88] Peter van der Linden, Expert C Programming
    54. [S43] Marshall P. Cline, Greg A. Lomow, C++ FAQS, Addison-Wesley 1995.
    55. [S98] Martin, Designing: Object-Oriented C++ Applications Using The Booch Method, Prentice Hall 1995.
    56. [S102] Meyers, More Effective C++, Addison-Wesley 1996.
    57. [S44] Mats Henricson, Erik Nyquist, Industrial Strength C++, Prentice Hall, Inc 1997.
    58. [S1] McConnell, Code Complete, Microsoft Press 1993.
    59. [S34] McConnell, RAPID Development, Microsoft Press 1996.
    60. [S66] Brett McLaughlin, Java and XML, O'REILLY 2000.
    61. [S3] Miller, Quilici, The Joy of C, 3rd Ed., Wiley 1997.
    62. [S78] Richard Monson-Haefel, Enterprise Java Beans, O'Reilly, 2000.
    63. [S83] Richard Monson-Haefel & David A. Chappell, Java Message Service, O'Reilly, 2000.
    64. [S97] Rosenberg, Scott, Applying Use Case Driven Object Modeling with UML, Addison Wesley 2001.
    65. [S8] Musser, Saini, STL Tutorial and Reference Guide, Addison Wesleya 1996.
    66. [S48] Musser, Saini, STL Tutorial and Reference Guide, Addison Wesley 1996.
    67. [S60] Nathan Patwardhan, Ellen Siever and Stephen Spainhour, Perl In a Nutshell, 2nd Edition, O'Reilly 2002.
    68. [S69] Scott Oaks & Henry Wong, Java Threads, O'Reilly 1999.
    69. [S21] Oram, Talbott, Managing Projects with make, O'Reilly 1993.
    70. [S27] Ousterhout, Tcl and the Tk Toolkit, Addison Wesley 1994.
    71. [S5] Plauger, The Draft Standard C++ Library, Prentice Hall 1994.
    72. [S53] Paul DuBois, Michael Widenius, MySQL, New Riders Publishing, 1999.
    73. [S23] Press, Teukolsky, Vetterling, Flannery, Numerical Recipes in C, 2nd Ed., Cambridge University Press.
    74. [S11] Purify Version 4.0 User's Guide, Pure Atria
    75. [S75] George Reese, Database Programming with JDBC and JAVA, O'Reilly, 2000.
    76. [S51] Riley, Data Abstraction and Structures using C++, 2nd Ed., Heath 1995.
    77. [S52] Schwartz, Learning Perl, O'Reilly 1993.
    78. [S36] Spainbour, Quercia, Webmaster In a Nutshell, O'Reilly 1996.
    79. [S29] Spiegel, Laplace Transforms, McGraw-Hill, Inc. 1965 copy 1.
    80. [S30] Spiegel, Laplace Transforms, McGraw-Hill, Inc. 1965 copy 2.
    81. [S70] Hal Stern, Managing NFS and NIS, O'Reilly 1991.
    82. [S71] W. Richard Stevens, TCP/IP Illustrated, Volume 1 The Protocols, Addison Wesley 1999.
    83. [S68] Lincoln Stein & Doug MacEachern, Writing Apache Modules using Perl and C, O'REILLY 1999.
    84. [S6] Stroustrup, The C++ Programming Language, Addison Wesley 1991.
    85. [S40] Stroustrup, The C++ Programming Language, 3rd Ed., Addison Wesley 1997.
    86. [S60] Sumitabha Das, Your Unix -- The Ultimate Guide, McGraw-Hill, 2001
    87. [S99] Sutter, Alexandrescu, C++ Coding Standards, Addison Wesley 2005.
    88. [S20] Todino, Strang, Peek, Learning the UNIX Operating System, O'Reilly 1994.
    89. [S62] Tom Christiansen & Nathan Torkington, Perl Cookbook, O'Relly, 1998
    90. [S17] Tuinenga, SPICE, A Guide to Circuit Simulation and Analysis Using PSpice, Prentice Hall 1992. (Puneet)
    91. [S25] Winsor, Solaris Advanced System Administrator's Guide, Ziff-Davis Press 1993.
    92. [S47] Winsor, Solaris Advanced System Administrator's Guide, Ziff-Davis Press 1993.
    93. [S64] David Zeltserman, A Practical Guide to SNMPv3 and Network Management, Prentice Hall Series in Computer Networking and Distributed Systems 1999.
    94. [S61] Solaris System Administrator's guide.
    95. [S90] David Flanagan, Java Examples in a Nutshell, O'REILLY 1997.
    96. [S91] David Flanagan, Java in a Nutshell, O'REILLY 1997.
    97. [S92] David Flanagan, Java in a Nutshell, O'REILLY 1997.
    98. [S93] H.M.Deitel, etc, How to C++ program, Prentice Hall 1994.
    99. [S94] Bart Anderson, etc., UNIX communications , Howard W.SAMS & Company, 1987
    100. [S100A] ILOG AMPL CPLEX System ver. 7.0 User's Guide.
    101. [S100B] AMPL Syntax Update for use with CPLEX ver. 7.0.
    102. [S100C] ILOG License Manager 2.6.
    103. [S100D] ILOG CPLEX 8.0 User's Manual.
    104. [S100E] ILOG CPLEX 8.0 Getting Started.
    105. [S100F] ILOG Concert Technology 1.0 Reference Manual.
    106. [S100G] ILOG Concert Technology 1.0 User's Manual.
    107. [S100H] ILOG CPLEX 7.0 User's Manual.
    108. [S100I] ILOG CPLEX 7.0 Getting Started.
    109. [S100J] ILOG CPLEX 7.0 Reference Manual.
    110. [S100K] ILOG Concert Technology 1.0 Migration Guide.
    111. [S100L] ILOG AMPL CPLEX System ver. 8.1 User's Guide.
    112. [S100M] ILOG Concert Technology 1.0 Hybrid Optimizers.
    113. [S100N] ILOG CPLEX 7.0 Release Note.
    114. [S104] IC Craftsman User's Reference.

      VLSI-Specific

      (70)
      1. [V78] Abramovici, Breuer, Friedman, Digital Systems Testing and Testable Design, Jaico Publishing House, 2001.
      2. [V47] Alan Hastings, The Art of Analog Layout, Prentice Hall 2001.
      3. [V53] Andrew Marshall, Sreedhar Natarajan, SOI Design: Analog, Memory and Digital Techniques, Kluwer Academic Publishers 2002. NEW!
      4. [V35] Arnold, Verilog Digital Computer Design, Prentice Hall 1999.
      5. [V25] Abramovici, Breuer, Friedman, Digital Systems TESTING and Testable DESIGN, Computer Science Press 1990.
      6. [V26] Bamji, Varadarajan, Leaf Cell And Hierarchical Compaction Techniques, Kluwer 1997.
      7. [S41]Bakoglu, Circuits, Interconnections and Packaging for VLSI, Addison Wesley 1990.
      8. [V37] Bernstein, Carrig, Durham, Hansen, Hogenmiller, Nowak, Rohrer, High Speed CMOS Design Styles, Kluwer Academic Publishers 1998.
      9. [V54] Bing Lu, Ding-Zhu Du and Sachin S. Sapatnekar, Layout Optimization in VLSI Design, Kluwe r Academic Publishers 2002. NEW!
      10. [V4] Brayton, Hachtel, McMullen, Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers 1992.
      11. [V22] Boese, Models for Iterative Global Optimization, Ph. D. thesis 1996.
      12. [V13] Carter, Digital Designing with PLD's, Prentice Hall 1997.
      13. [V10] Chandrakasan, Brodersen, Low Power Digital CMOS Design, Kluwer Academic Publishers 1996.
      14. [V55] Charles E. Stroud, A Designer's Guide to Built-In Self-Test, Kluwer Academic Publishers 2002. NEW!
      15. [V15] Cho, Franzon, High Performance Design Automation for Multi-Chip Modules and Packages, World Scientific 1996. (Gabriel)
      16. [V84] Celik, Pileggi, Odabasioglu, IC Interconnect Analysis, Kluwer Academic Publishers 2002.
      17. [V28] Ciciani, Manufacturing Yield Evaluation of VLSI/WSI Systems, IEEE Computer Society Press.
      18. [V76] Dabral, Maloney, Basic ESD and I/O, John Wiley & Sons, Inc. 1998.
      19. [V66] Dimitrios Soudris, Christian Piguet and Costas Goutis, Designing CMOS Circuits for Low Power, Kluwer Academic Publishers 2002. NEW!
      20. [V21] Friedman, Clock Distribution Networks in VLSI Circuits and Systems, IEEE Press 1995.
      21. [V49] Gabriel Robins, On Optimal Interconnections, Ph.D. Thesis 1992.
      22. [V9] Gajski, Principles of Digital Design, Prentice Hall 1997. copy 1
      23. [V30] Gajski, Principles of Digital Design, Prentice Hall 1997. copy 2
      24. [V5] Gebotys, Elmasry, Optimal VLSI Architectural Synthesis: "Area, Performance and Testability", Klumer Academic Publishers 1992.
      25. [V71] Grover, Inductance Calculations, D. Van Nostrand Company 1946.
      26. [V16] Hayt, Engineering Electromagnetics, 5th Ed. , Mc-Graw Hill 1989.
      27. [V56] Himanshu Bhatnagar, Advanced Asic Chip Synthesis, Using Synopsis Design Compiler physical Compiler and Prime Time, Kluwer Academic Publishers 2002. NEW!
      28. [V7] Horowitz, Hill, The Art of Electronics, 2nd Ed., Cambridge University Press 1990.
      29. [V33] Huang, A Layout Advisor for Timing-Critical Bus Routing, Master Thesis 1997.
      30. [V57] Jens Sparso, and Steve Furber, European Low-Power Initiative for Electronic System Design, Kluwer Academic Publishers 2002. NEW!
      31. [V8] Johnson, Graham, High-Speed Digital Design: "A Handbook of Black Magic", Prentice Hall 1993.
      32. [V79] Johnson, Graham, High-Speed Signal Propagation, Prentice Hall 2003.
      33. [V58] Josep Alter and Antonio Rubio, Thermal Testing of Integrated Circuits, Kluwer Academic Publishers 2002. NEW!
      34. [V6] Kahng, Robins, On Optimal Interconnections for VLSI, Kluwer 1995. Copy 1
      35. [V42] Kahng, Robins, On Optimal Interconnections for VLSI, Kluwer 1995. Copy 2
      36. [V75] Katz, Contemporary Logic Design, The Benjamin/Cummings Publishing Company 1994.
      37. [V50] Michael Keating, Pierre Bricaud, Reuse Methodology Manual, Third Edition, Kluwer Academic publishers, 2002.
      38. [V50] Kenneth P. Parker, The Boundary-Scan handbook Analog and digital 2nd Edition, Kluwer Academic publishers, 1998.
      39. [V67] Andrew Kuehlmann, The Best of ICCAD, Kluwer Academic publishers, 2003.
      40. [V38] Laplante, Phillip A., Electrical Engineering, CRC Press and IEEE Press, 1999.
      41. [V70] E. L. Lehmann, George Casella, Theory of Point Estimation, second edition, Springer, 1998.
      42. [V14] Lee, Shur, Fjeldly, Ytterdal, Semiconductor
      43. [V72] Levinson, Principles of lithography, SPIE Press, 2001.
      44. [V83] Mano, Kime, Logic and Computer Design Fundamentals, Prentice Hall, 2001.
      45. [V48] Masanori Hashimoto, A study on Performance Optimization for Degital CMOS Circuits in Physical Design. PhD thesis.
      46. [V59] Massound Pedram and Jan Rabaey, Power Aware Design Methodologies, Kluwer Academic Publishers 2002. NEW!
      47. [V60] Michel Robert, Bruno Rouzeyre, Christian Piguet and Marie-Lise Flottes, SOC Design Methodologies, Kluwer Academic Publishers 2002. NEW!
      48. [V52] Mohamed I. Elmasry, Digital VLSI Systems, IEEE Press 1985.
      49. [V74] Montrose, Printed Circuit Board Design Techniques for EMC Compliance, IEEE Press 2000.
      50. [V19] Muddu, Analysis and Modeling of VLSI Interconnections, Ph.D. Thesis 1996.
      51. [V61] Mustafa Celik, Lawrence Pileggi and Altan Odabasioglu, IC Interconnect Analysis, Kluwer Academic Publishers 2002. NEW!
      52. [V82] Narendra, Chandrakasan, Leakage in Nanometer CMOS Technologies, Springer, 2006.
      53. [V27] Poon, Computer Circuits Electrical Design, Prentice Hall 1995.
      54. [V40] Rabaey, Digital Integrated Circuits: A Design Perspective, Prentice Hall 1997.
      55. [V11] Rabaey, Pedram, Low Power Design Methodologies, Kluwer Academic Publishers 1996.
      56. [V34] Reis, Claesen, VLSI: Integrated Systems on Silicon, Chapman & Hall 1997.
      57. [V62] Rpbert Graybill and Rami Melhem, Power Aware Computing, Kluwer Academic/Plenum Publishers 2002. NEW!
      58. [V18] Robins, On Optimal Interconnections, Ph.D. Thesis 1992.
      59. [V24] Sarrafzadeh, Wong, An Introduction to VLSI Physical Design, McGraw-Hill 1996. copy 1 
      60. [V29] Sarrafzadeh, Wong, An Introduction to VLSI Physical Design, McGraw-Hill 1996. copy 2
      61. [V32] Sait, Youssef, VLSI Physical Design Automation, IEEE Press.
      62. [V3] Sherwani, Algorithms for VLSI Physical Design Automation, Kluwer Academic Publishers 1993.
      63. [V36] Sherwani, Algorithms for VLSI Physical Design Automation, Kluwer Academic Publishers 1999.
      64. [V31] Sherwani, Routing in the Third Dimention, IEEE PRESS 1995.
      65. [V80] Smith, Michael J.S, Application-Specific Integrated Circuits, Addison-Wesley, 1997.
      66. [V12] Sternheim, Singh, Madhavan, Trivedi, Digital Design and Synthesis with Verilog HDL, Automata Publishing Company, 1993.
      67. [V85] Stroobandt, A Priori Wire Length Estimates for Digital Design, Kluwer Academic Publishers, 2001.
      68. [V63] Stuart Sutherland, Verilog 2001:A Guide to the new Features of the Verilog Hardware Description Language, Kluwer Academic Publishers 2002. NEW!
      69. [V64] Stuart Sutherland, The Verilog PLI Handbook 2nd Edition: A User's Guide and Comprehensive Reference on the Verilog Programming Language Interface, Kluwer Academic Publishers 2002. NEW!
      70. [V39] Sutherland, Sproull, Harris, Logical Effort, Morgan Kaufmann Publishers, Inc., 1999
      71. [V45] T.C.Hu, Ernest S. Kuh, VLSI Circuit Layout Theory and Design. IEEE Press 1985.
      72. [V51] T.C.Hu, Ernest S. Kuh, Theory and Concept of Circuit Layout: An overview.
      73. [V73] Taub, Schilling, Digital Integrated Electronics, McGraw-Hill, 1977.
      74. [V20] Tsao, VLSI Clock Net Routing, Ph.D. Thesis 1996.
      75. [V17] Ullman, Computational Aspects of VLSI, Computer Science Press 1984.
      76. [V23] University of California, MICRO Project Abstracts, MICRO Project 1996.
      77. [V81] John Uyemura, Chip Design for Submicron VLSI, THOMSON, 2006.
      78. [V1] Weste, Eshraghian, Principles of CMOS VLSI Design, 2nd Ed., Addison Wesley 1993. copy 1
      79. [V2] Weste, Eshraghian, Principles of CMOS VLSI Design, 2nd Ed., Addison Wesley 1993. copy 2
      80. [V77] Wong, Resolution Enhancement Techniques, SPIE PRESS, 2001.
      81. [V69] OpenAccess: The Standard API for Rapid EDA Tool Integration, Si2 Inc, 2003.
      82. [V65] XI SIM UFRGS Microelectronics Seminar

      Design Automation Library

      1. Epson Stylus Color 800 User's Guide
      2. IC CRAFTSMAN Design Language Reference, Cooper & Chyan Technology 1995
      3. IC CRAFTSMAN User's Reference, Cooper & Chyan Technology 1995.
      4. Preview Cells Ensemble
      5. Preview Cell/Block Ensemble Video Course Kit(tape 4/4)
      6. TMA RAPHAEL DEPICT WORKBENCH Reference Mannuals
      7. The MOSIS User Manual Release 4.0
      8. Design Sheet User's Guide, Version 0.8.1
      9. Advanced Library Format for ASIC Cells & Blocks  Version 1.1  April6,1999

      Conference Proceedings

      1. Proceedings of DAC'03 2003 Design Automation Conference
      2. (1 copy)
      3. Proceedings of ISPD'03 2003 International Symposium on Physical Design
      4. (1 copy, 2CDs)
      5. Proceedings of SLIP'03 2003 International Workshop on System Level Interconnect Prediction
      6. (3 copies)
      7. Proceedings of the ISQED 2003
      8. Proceedings of ASP-DAC 2003
      9. SPIE's 28th Annual International Symposium and Education Program on Microlithography
      10. ACM/IEEE DAC 83, 85-01
      11. ACM-SIGDA PDW 93,96(6 copies)
      12. ISPD-97(9 copies), 98, 99, 00 (2 copies), 01
      13. S1IP 99, 00, 01
      14. EDTC 97 IEEE
      15. APCCAS 92, 96
      16. IEEE ASIC 92, 97, 98, 99
      17. IEEE CICC 96, 97
      18. IEEE ICCAD 83, 86, 89-99
      19. IEEE ICCD 85, 91, 98
      20. IEEE ISCAS 92 (v. 1-6/6), 93 (v. 1-4/4), 96 (v. 4/1)
      21. IEEE MCMC 97
      22. IEEE 1998 Symposium on IC/Package Design Integration
      23. SIA Roadmap 94, 97
      24. ASP-DAC 94,97
      25. Proceedings of the eighth Annual Symposium on Computational Geometry, 92 Proceedings of the Metaheuristics International Conference 1995
      26. Proceedings of the sixth international conference on Genetic Algorithms, 95
      27. Proceedings of IEEE Asia Pacific Conference on Circuits and systems, 96
      28. Proceedings of the 12th international conference on VLSI Design, 1998
      29. Proceedings of ASP-DAC'99(Asia and South Pacific Design Automation Conference,1999)
      30. Proceedings of ASP-DAC'00(Asia and South Pacific Design Automation Conference,2000)
      31. Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000)
      32. Sematech Litho/Design Workshop Jan, 95; Jun, 95; Feb 96; Oct, 98
      33. Electronics Manufacturing Technology Roadmaps and Options for Government Action, Dec, 94
      34. EDA Industry Standards Roadmap - 1996
      35. National Electronics Manufacturing Initiative, Inc. Press Announcement, March 13, 1996
      36. Sematech Technology Computer-Aided Design(TCAD) Roadmap: A Supplemement to the National Technology Roadmap for Semiconductores, March 9, 1995
      37. SEMATECH Chip Hierarchical Design System, Feb 21, 1996
      38. Technology Forecast: 1997, Price Waterhouse.
      39. The Eighth IEEE/DATC Electronic Design Processes Workshop
      40. Optical Extensions Workshop
      41. Algorithm Engineering and Experimentation, International Workshop ALENEX'99, Springer.
      42. XI UFRGS Microelectronics Seminar, 96
      43. HOT Chips IV--1992
      44. HOT Chips IX--1997
      45. HOT Interconnects V--1997
      46. International Workshop on System-Level Interconnect Prediction, San Diego, CA, April 8-9, 2000.
      47. 1997 ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems
      48. 17th Annual Symposium on Photomask Technology and Management, September 17-19, 1997.
      49. 18th Annual Symposium on Photomask Technology and Management, September 16-18, Redwood City, California. 1998.
      50. TIMA Laboratory ANNUAL REPORT 1997
      51. IWLS-98 Program
      52. The Eighth IEEE/DATC Electronic design processes workshop April 8-10, 2001
      53. Some paper collection: Covering / Tiling; Mapping / Embedding; Analog Computation; Lars M.S. Thesis; Polyomino / Tesselation

      Journals

      1. IEEE Transactions on CAD V7(1-12)89; V8(1-11)90; V9(1-5,7-8,10-12)91; V10(1-12)92; V11(1-12)93; V13(1-12) 94; V14(1-10) 95; V16(12) 97; V17(1, 8); V19(2)
      2. IEEE Transactions on Computers V42(1-12) 93; V43(2) 94
      3. Journal of the Association for Computing Machinery V40(2-5) 93; V41(2-3) 94
      4. Microprocessor Report v. 8 - 10 (year 94-96)

      maintained by Yuhong Zheng