ECE 382M.11
Verification of Digital Systems
Examine automatic verification of digital systems; formal models and specifications, equivalence checking, design verification, temporal logic, binary decision diagrams (BDDs), logical foundations, automata theory, recent developments. Electrical and Computer Engineering 382M (Topic 11) and Electrical Engineering 382M (Topic 11) may not both be counted.
Prerequisites & course information
Examine automatic verification of digital systems; formal models and specifications, equivalence checking, design verification, temporal logic, binary decision diagrams (BDDs), logical foundations, automata theory, recent developments. Electrical and Computer Engineering 382M (Topic 11) and Electrical Engineering 382M (Topic 11) may not both be counted.
Sources
- Course catalogue ↗2026-2027