CSE News and Announcements

Nov 20, 2001
EECS 578: Computer-Aided Design Verification of Digital Systems    Bookmark and Share
Instructor: Professor Karem Sakallah, 2213 EECS, karem@umich.edu, 936-1350.

Time and Place: TT 10:30-12:00, 3437 EECS

Credit Hours: 3

Prerequisites: EECS 478 and graduate standing

Overview: In this course we explore how large complex digital systems are verified to ascertain their functional and temporal correctness. Students who enroll can expect to gain proficiency in state-of-the-art informal as well as formal approaches to verification of large-scale systems. Many of these techniques, and the insights that inspired them, can also be adapted to the verification of other large-scale systems, e.g. complex software. Hands-on experience with a variety of verification tools (equivalence checkers, model checkers, SAT solvers, symbolic simulators, etc.) is an integral part of the course.

Catalog Description: Design specification vs. implementation. Design errors. Functional and temporal modeling of digital systems. Simulation vs. symbolic verification techniques. Functional verification of combinational and sequential circuits. Topological and functional path delays; path sensitization. Timing verification of combinational and sequential circuits. Clock schedule optimization.

Course Topics:

Design verification overview; design errors; specification vs. implementation; interfaces.

Functional and temporal modeling of digital systems at various abstraction levels.

Simulation at the gate, register transfer and behavioral levels; Verilog HDL

Symbolic manipulation of Boolean functions; ordered binary decision diagrams.

Circuit satisfiability; conjunctive normal form. Davis-Putnam algorithm and extensions.

Functional verification of combinational circuits; simulation-based; symbolic; formal.

Functional verification of sequential circuits; simulation-based; symbolic; formal.

Timing verification of combinational circuits; topological and functional path delays.

Timing verification of sequential circuits; clock schedule optimization.

Course Assignments and Grading:

Written homework assignments (3 to 4): 30%

Classroom participation: 30%

Term paper/project: 40%

 
EECS News by Topic
EECS News by Faculty Name
CSE in the News 
04/17/14 Scientific American: Heartbleed Software Snafu: The Good, the Bad and the Ugly
04/17/14 New York Times: Study Finds No Evidence of Heartbleed Attacks Before the Bug Was E...
04/15/14 Michigan Daily: Internet security flaw left University sites vulnerable
04/15/14 ARS Technica: Researchers find thousands of potential targets for Heartbleed OpenS...
04/15/14 Bloomberg: Hacker From China Wastes Little Time in Exploiting Heartbleed
04/15/14 Bloomberg: Heartbleed Hackers Steal Encryption Keys in Threat Test

CSE Research News 
04/17/14 Halderman and Lafortune Join TerraSwarm Research Center
04/07/14 Michael Lewis says the market is rigged. But his Flash Boys rigged themselves.
04/01/14 Researchers Win Best Paper Award at ISPASS 2014
04/01/14 Technological Singularity Passes, Unnoticed Until Now
03/05/14 Michael Wellman Recognized with ACM/SIGAI Autonomous Agents Research Award
02/21/14 New Center Develops Technologies to Help Youths with Disabilities

CSE News 
03/26/14 CSE Connects at SXSW 2014
03/24/14 Prospective Grad Students Visit, Learn About CSE
03/13/14 CSE Connects at Tapia Celebration of Diversity in Computing
02/03/14 Karem Sakallah Continues Commitment to Qatar Computing Research Institute
01/30/14 State Farm Gift Supports Student Projects Lab
01/23/14 Career Center Report Shows Computer Scientists Highly Sought, Best Compensated

CSE Faculty and Staff Awards 
04/03/14 Noble and Wilson Named as Learning Analytics Fellows
03/26/14 Kevin Fu Selected for World Economic Forum Young Scientist Award
02/25/14 Narayanasamy and Olson Named Morris Wellman Faculty Development Professors
02/07/14 Daniel Atkins Elected to National Academy of Engineering
01/24/14 2014 EECS Outstanding Achievement Awards
01/23/14 Four CSE Faculty Selected for College of Engineering Awards

CSE Student News and Awards 
04/18/14 Jill Bender Chosen for CoE Distinguished Leadership Award
04/16/14 SWE Hosts G.R.E.A.T. Day for Girls
04/11/14 Hands-On Robotics (video)
04/08/14 Forest Agostinelli Selected for NSF Graduate Research Fellowship
04/08/14 Branden Ghena Selected for NSF Graduate Research Fellowship
04/08/14 Elizabeth Mamantov Selected for NSF Graduate Research Fellowship

CSE Alumni News 
03/07/14 Alumni Spotlight-Dawson Yee: Kinect-ing Xbox to the World
03/03/14 CSE Alum Dongyoon Lee Selected for ProQuest Dissertation Award
12/20/13 Hector J. Garcia Selected for Bouchet Graduate Honor Society
11/12/13 CSE Alumna Mona Attariyan Selected for Ritchie Disseration Award
07/23/13 Tony Fadell: From Apple to Nest Labs, Always a Designer
06/26/13 Computer Engineering Alum Marius Eriksen Featured in Wired

CSE Course Announcements 
04/09/14 Fall 2014: Hands-On Robotics
04/03/14 Fall 2014: EECS 598-002 Power Semiconductor Devices
04/03/14 Fall 2014: EECS 598-001 Analysis of Electric Power Distribution Systems and Loads
03/20/14 Fall 2014: Applied matrix algorithms for signal processing, data analysis and mach...
11/26/13 Winter 2014: EECS 498-003 Multidisciplinary Capstone (MDE) Design Pilot
11/06/13 Winter 2014: EECS 598-007 Infrastructure for Vehicle Electrification

Add News Item     Update News Items