May be repeated for credit when the topics vary. Prerequisite: Graduate standing and consent of instructor.
Topic: 1 - VLSI Testing Hardware and software reliability analysis of digital systems; testing, design for testability, self-diagnosis, fault-tolerant logic design, error-detecting and error-correcting codes. Topic: 2 - Dependable Computing Design techniques for reliable, fault-tolerant, fail-safe and fail-soft systems; fault diagnosis and fault avoidance methods at program and system levels; experimental and commercial fault-tolerant computer systems. Topic: 4 - Digital Systems Simulation Uses and limitations of simulation algorithms for digital circuits and systems. Topic: 7 - VLSI I CMOS technology; structured digital circuits; VLSI systems; computer-aided design tools and theory for design automation; chip design. Topic: 7 - VLSI I - ICS CMOS technology; structured digital circuits; VLSI systems; computer-aided design tools and theory for design automation; chip design. Topic: 8 - VLSI II Microelectronic systems architecture; VLSI circuit testing methods; integration of heterogeneous computer-aided design tools; wafer scale integration; advanced high-speed circuit design and integration. Topic: 8 - VLSI II - ICS Microelectronic systems architecture; VLSI circuit testing methods; integration of heterogeneous computer-aided design tools; wafer scale integration; advanced high-speed circuit design and integration. Topic: 9 - Simulation Methods in CAD/VLSI Techniques and algorithms for simulating large-scale digital and analog circuits. Topic: 10 - Synthesis of Digital Systems Automatic generation of gate-level implementations from HDL specifications; optimization of two-level, multilevel, and sequential circuits for area, speed, and testability. Topic: 11 - Verification of Digital Systems Automatic verification of digital systems; formal models and specifications, equivalence checking, design verification, temporal logic, BDDs, logical foundations, automata theory, recent developments. Topic: 12 - System Design Metrics Analysis of design at chip, board, and system levels; life cycle implications of design decisions, including design for testability effects on production and field service; economic and customer-driven factors. Topic: 13 - Analysis and Design of Digital Integrated Circuits Topic: 14 - Analog Integrated Circuit Design Topic: 14 - Analog Integrated Circuit Design - ICS Topic: 15 - Computer Performance Evaluation and Benchmarking Performance metrics, benchmarks, measurement tools and techniques, simulation, trace generation, sampling, analytical modeling, workload characterization, statistical methods to compare alternatives, linear regression, and design of experiments. Topic: 16 - Application-Specific Processing Topic: 17 - High-Level Synthesis of Digital Systems Topic: 18 - Java Processing The Java run-time environment, Java Virtual Machine, processing Java in interpreted and JIT compilation modes, Java processors, Java benchmarks, characterization of Java workloads, performance impact of Java, optimizing microprocessors for Java. Topic: 19 - Mixed-Signal System Design and Modeling