Spring 2014, MWF 3PM, Broun 306

Course Syllabus (Not updated for this offering) Grades

Instructor: Vishwani D. Agrawal, James J. Danaher Professor of ECE

Course Website: www.eng.auburn.edu/~vagrawal/COURSE/E7770_Spr14/course.html

FINAL EXAM: Tuesday, April 29, 2014, 4:00-6:30PM, Broun 306, open-book

ANNOUNCEMENTS:

1/13/14 Auburn Co-Op Employment Opportunities

LECTURES:

Guest Lectures: Tools for Power Analysis by Murali Dharan, 1/8/14 and 1/10/14

. . . Computer Setup for EDA Tools by M. Dharan

. . . HSPICE User Guide: Simulation and Analysis

. . . add.vhd

. . . Review of VHDL by N. Yogi

Lecture 1: Introduction, 1/13/14

Lecture 2: VLSI Yield and Moore's Law, 1/15/14

. . . Gordon Moore's articles, 1965, 1975, 1995

Lecture 3: Verification, 1/17/14 . . .

. . . Choice of Tests for Verification and Equivalence Checking . . .

. . . Characteristic Polynomial Method for Verification . . .

. . . Boolean Satisfiability . . .

Lecture 4: Timing Analysis and STA, 1/27/14 . . .

Lecture 5: Timing Verification and Optimization, 2/5/14

Lecture 6: Retiming, 2/10/14 . . .

Lecture 7: Constraint Graph and Retiming Solution, 2/14/14 . . .

Lecture 8: Clock Skew Problem, 2/21/14 . . .

Lectures 9: Linear Programming - A Mathematical Optimization Technique, 2/26/14 . . .

LP Solvers:

. . . PHPSimplex Online Solver

. . . LINDO Download

Lecture 10: A Linear Programming Solution to Clock Constraint Problem, 3/5/14 . . .

Lecture 11: Zero-Skew Clock Routing, 3/17/14 . . .

Lecture 12: Power and Ground, 3/21/14 . . .

. . . J. Fu et al., "VLSI On-Chip Power/Ground Network . . .," Proc. ASP-DAC, 2005, pp. 735-738

Lecture 13: Analog and RF Testing, 3/26/14 . . .

Lecture 14: Model-Based and Alternate Tests, 4/7/14 . . .

. . . P. N. Variyam et al., "Prediction of Analog Performance . . .," IEEE Trans. CAD, vol. 21, no. 3, pp. 349-361, Mar 2002

. . . H.-G. Stratigopoulos and Y. Makris, "Error Moderation . . .," IEEE Trans. CAD, vol. 27, no. 2, pp. 339-351, Feb 2008

Lecture 15: Soft Errors and Fault-Tolerant Design, 4/11/14 . . .

. . . Robust System Design with Built-In Soft-Error Resilience . . ., Computer, vol. 38, no. 2, pp. 43-52, February 2005

. . . The Byzantine Generals, by D. Dolev, L. Lamport, M. Pease and R. Shostak, Chapter 12, B. K. Bhargava (Ed.), Concurrency Control and Reliability in Distributed Systems, pp. 348-369 (Van Nostrand, 1987)

Guest Lecture by V. P. Nelson, Automatic Test Pattern Generation (ATPG) with Tessent “FastScan”, 4/16/14, 4PM, Broun 235

Lecture 16: Technology Mapping, 4/25/14

HOMEWORK:

Homework 1, assigned 1/10/14, due 1/17/14

Homework 2, assigned 2/19/14, due 3/3/14

Homework 3, assigned 3/17/14, due 3/24/14

Homework 4, assigned 4/4/14, due 4/11/14

Homework 5, assigned 4/14/14, due 4/18/14

PROJECT: Assignment, posted 2/18/14, one-page due 2/24/14, final report due 4/21/14.

PREVIOUS OFFERING BY PROF. V. AGRAWAL:

Spring 2012 Spring 2010 Spring 2008 Spring 2007