Electrical Engineering 219A
| Title | Computer-Aided Verification of Electronic Circuits and Systems |
|---|---|
| Units | 3 |
| Prerequisites | Consent of instructor; a course in linear algebra and on circuits is very useful. |
| Description | This course describes the computer algorithms, techniques, and theory used in the simulation of electrical circuits and systems. This course is concerned with techniques for the verification of correct behavior of complex electronic circuits and systems including detailed simulation of integrated circuits at the transistor level in the time and frequency domain, discrete-event logic simulation, cycle-based logic simulation, RTL and behavorial simulation, equivalence checking, timing analysis, power estimation. |
| Sections | Instructor | Teaching Effectiveness | How worthwhile was this course? |
|---|---|---|---|
| Spring 2023 | Jaijeet Roychowdhury | ||
| Spring 2021 | Jaijeet Roychowdhury | ||
| Fall 2019 | Jaijeet Roychowdhury | ||
| Fall 2017 | Jaijeet Roychowdhury | ||
| Fall 2015 | Jaijeet Roychowdhury | ||
| Fall 2014 | Jaijeet Roychowdhury | ||
| Fall 2012 | Jaijeet Roychowdhury | ||
| Fall 2010 | Jaijeet Roychowdhury | ||
| Fall 2009 | Jaijeet Roychowdhury | ||
| Spring 2009 | Jaijeet Roychowdhury | ||
| Spring 2008 | Robert K. Brayton | ||
| Spring 2007 | Robert K. Brayton | ||
| Spring 2006 | Robert K. Brayton | ||
| Fall 1998 | Alberto L. Sangiovanni-Vincentelli | ||
| Fall 1998 | A. Richard Newton | ||
| Overall Rating | Teaching Effectiveness | How worthwhile was this course? | |