This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- California
- University of California-Davis
- Course info
- eec-283 - advanced-design-verification-of-digital-systems
University of California-Davis Course Info
Davis, California•
10 reviews
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
EEC 283
Advanced Design Verification of Digital Systems
Design verification techniques for digital systems; simulation-based design verification techniques; formal verification techniques, including equivalence checking, model checking, and theorem proving; timing analysis and verification; application of design cerification techniques to microprocessors.
Units: 4.0
Hours: Lecture—3 hour(s); Project (Term Project)—1 hour(s).
Prerequisites:
EEC 180A - Digital Systems I
or
EEC 018 - Digital Systems I
and
EEC 170 - Introduction to Computer Architecture