Source: http://atrak.usc.edu/~changk/links.html
General CAD and VLSI Research Centers
- VLSI CAD Lab (University of California, Los Angeles)
- Giovanni De Micheli (Stanford University)
- VLSI Research Group (Stanford University)
- Center for Silicon System Implementation (Carnegie Mellon University)
- Randy Bryant (Carnegie Mellon University)
- CADLAB (MIT)
- Harry C. Hsieh (University of California, RiverSide)
- Analysis, Synthesis, Verification of Electronic Systems (University of California, Berkeley)
- A. Richard Newton (University of California, Berkeley)
- Robert Brayton (University of California, Berkeley)
- Marek A. Perkowski (Portland State University)
- Maciej Ciesielski (University of Massachusetts)
- Design Automation at IBM Research
- VLSI Design Automation (University of California, Santa Barbara)
- Katherine Compton (Northwestern University)
- Institute for Electronic Design Automation (GERMANY)
- Reinner Kolla(University of Wurzburg)
- Srinivas Katkoori (University of South Florida)
- Kurt Keutzer (University of California, Berkeley)
- METIS (Family of Multilevel Partitioning Algorithms)
- John Lillis (University of Illinois at Chicago)
- IMEC (Interuniversity MicroElectronics Center - Europe)
- Srini Devadas (MIT)
- Fabio Somenzi (Colorado)-CUDD and VIS
- Farid N. Najm (University of Toronto)
- Majid Sarrafzadeh (Northwestern university)
- Andrew B. Kahng ( University of California, Los Angeles)
- Multi-Valued Logic Synthesis
- Dirk Stroobandt (Ghent University)
- Andre DeHon (Caltech)
- Computer-Aided Design Benchmarking Laboratory
- Jan M. Van Campenhout (Ghent University)
- The Center for High Performance Integrated Technologies and Sy8stems (CHiPTec)
- Gigascale System Research Center
- David Z. Pan (great lecture nodes on physical design)
- IBM Watson Research Center - Design Automation
- Tsutomu Sasao (Kyushu Institute of Technology)
- Wai-Kei Mak (National Tsing Hua Universtiy in Taiwan)
- WireLength-driven Standard-Cell Placement
- FastPlace
- Feng Shui (Minghamton University)
- Igor Markov (University of Michigan)
- Codes of Partitioning Algorithms (UCSD)
- Charles J. Alpert's Home Page (Partitioning Packages)
Algorithm Research Centers
- Discrete Optimization Laboratory (Graph theory and Network Flow)
- MCL - a cluster algorithm for graphs (Markov Cluster Algorithm)
- Surveys, lecture nodes, and books
- Sparse matrix algorithms research at the University of Florida
- Sparse matrix related links from UCLA
- Algorithm packages from Zuse Institute Berlin
Mathematics and Optimization
FPGA related Research Centers
- Jason cong (UCLA)-mapping, global placement, and interconnect
- Jonathan Rose (University of Toronto)
- Ling-Pei Kung (MIT)
- Integrating Processors and Reconfigurable Logic
- Reconfigurable Computing Group
- Xilinx Application Notes
- Vaughn Betz (University of Toronto)-clustering, routing, and placement
- Digital Arithmetic and Reconfigurable Architecture Lab. (UCLA)
- Steve Wilton (UBC.CA)-FPGA power model
Computer Architecture
Low Power Research Centers
Reconfigurable Computing
FPGA
Software Defined Radio (SDR)
Embedded Programmable Logic Cores
Digital Signal Processing
On-Chip Cross-talk Modeling
Testing
MATLAB
JAVA
Resources
- Microelectronics Research and Communications Institute, University of Idaho
- CUDD: CU Decision Diagram Package
- JM's VLSI Docs
- BDD-portal
- Intel Technology Journal
- Dictionary of Algorithms and Data Structures
- David Coppit's Code Page
- MRCI (University of Idaho, Microelectronics Research and Communication Institute)
- Robert Vanderbei (useful algorithms and books)
- OpenEDA (exchange EDA resource)
- OpenEDA
- Algorithmic Solutions (LEDA)
Lectures
Electronic Design Automation
- EE318: Logic Synthesis of VLSI Circuits (Stanford University)
- VLSI CAD: Logic to layout (Carnegie Melon University)
- EECS219B: Logic synthesis for Hardware Systems (Berkeley)
- EECS219B: Logic synthesis and verification (Berkeley)
- EECS244fall98: Computer-Aided Design of Integrated Circuits (Berkeley)
- EECS244fall99: Computer-Aided Design of Integrated Circuits (Berkeley)
- ENEE644: Computer-Aided Design of Digital Systems (Maryland)
- Berkely-CAD Group Classes
- CS137: Electronic Design Automation (Caltec - Dehon)
- EECE 583: Computer-Aided Design Algorithms for Integrated Circuits (FPGA)
- ECE556: Design Automation of Digital Systmes(WISC)
VLSI
- EE225C-Spring 2003:VLSI Signal Processing
- EE271-Spring 2003: Introduction to VLSI Systems (Stanford)
- EE272-Spring 2003: Design projects in VLSI Systems (Stanford)
- EE313-Winter 2002-3: Digital MOS Integrated circuits (Stanford)
- EE371-Spring 2002-3:Advanced VLSI circuit design (Stanford)
- Digital IC Design (Imperial College)
- Tools for Electronic-circuit design
- USC-EE577 CAD
- EE141-S03: Digital Integrated Circuits
Algorithms
- CS594-Fall 2002: Applied Combinatorial Optimization (UIC)
- The Stony Brook Algorithm Repository
- CS261-Winter 2000: Optimization and Algorithm Paradigms
- CS252A -winter 2003: Arithmetic Algorithms and Processors (UCLA)
- Steven Skiena-Analysis of Algorithms (SUNY Stony Brook)
- Applied Graph Theory
- Courseware by Harvey J. Greenberg
- A Tutorial on Integer Programming
- Linear Programming (Princeton University)
Mathematics
- Mathematics for Computer Science (MIT-6.042)
- Online Mathematics Textbooks
- Optimization Online
- Proof Methods
- PurpleMath
Language
Reconfigurable Computing
Computer Architecture
- EE282 - Winter 2002-3: Computer architecture and organization (Stanford)
- EE482B-Spring 2002-3: Advanced computer organization: Interconnect networks (stanford)
CAD Tools
- VLSI Design Tools - Cadence Based Design (University of Massachusetts, Amherst)
- UCLA/UMICH Physical Design Tools
- Magic Technology Files for MOSIS SCMOS
- NCSU Cadence Design Kit
- Tim's programs (useful cad related programs)
- Magic
Interesting Industry
- McClenahanBRUeR-Matlab to FPGA for DSP
News