UNIVERSITY OF CALIFORNIA, BERKELEY.

• Hierarchical Techniques for Logic Synthesis --- One more from Berkeley.

  Improvements to Branch-and-Bound Search Strategies for Logic Synthesis --- Also from Berkeley.

  UC Berkeley Design Technology Warehouse

  CAD Seminar Schedule --- Here are the famous CAD Group Seminars at U.C. Berkeley.

  The WELD Project --- Some of U.C. Berkeley new projects. Web-based Digital Design. Professor Newton.

  The VIS Home Page --- One more Berkeley Page. New projects in Verification and Diagrams. See and compare with what we do.

  THE VIS GROUP --- Verification People at Berkeley.

  Electrical Engineering Professors --- EE Faculty from U.C. California at Berkeley.

  Richard Rudell --- Dr. Richard Rudell is a fellow at Synopsys and creator of Espresso and SIS>

  DA SRC Home Page (MSG) --- A Home page of the SRC Design Automation Center at Berkeley.

  DA SRC Home Page (MSG) --- Anotger WWW Page of the SRC Design Automation Center at U.C. Berkeley.

  College of Engineering Conference Program--- U.C. Berkeley.

  Computer-Aided Design -- U.C. Berkeley.

  Robert K. Brayton --- Professor Robert K. Brayton is known to you from many lectures I taught in EE 672. He invented ideas that went to MIS and SIS.

  A One-Semester Graduate Course in Logic Synthesis --- Course at U.C. Berkeley.

  DS763CA --- Advanced Course from Berkeley.

  Computer-Aided Design --- Logic Synthesis Course from U.C. Berkeley.

MIT.

The MIT Home Page --- This page and its links are highly recommended. The most innovative ideas were created there.
Curriculum Vitae of Srinivas Devadas --- Professor Srinivas Devadas from MIT created much software for state machines.
Registration for Supplementary Material to Logic Synthesis --- From Prof. Devadas group.
Sequential Logic Synthesis ---- Prof. Devadas book that we used last year in class.

PROF. ALMAINI'S GROUP.

• Digital Techniques Group (EECE Napier) --- Prof. Almaini's Group is one of leading European research groups in EXOR Logic.

  Optimum Test Pattern Generation --- From Prof. Almaini' Group.

  Multilevel Synthesis of Logic Circuits --- Prof. Almaini's info on Genetic Algorithm in logic synthesis.

  Synthesis & Optimisation of Comb. Logic --- One more from Prof. Almaini.

LOGIC SYNTHESIS BENCHMARKS

• Synopsys Web Contents --- Home Page of the most successful Logic Synthesis company.

  1989 Logic Synthesis Benchmarks --- General information on benchmarks from MCNC.

  1991 Logic Synthesis Benchmarks --- General information on benchmarks from MCNC.

  Synthesis and Optimization of Synchronous Logic Circuits --- Prof. Giovanni DeMicheli group at Stanford.

  Complexity and Synthesis of Minimal Logic Circuits using Multiplexers --- Bit Tex search about Multiplexer. You should find more.