Testing & Verif Digit Systems

Various topics on digital circuit testing and verification. 5505: digital circuit testing including simulation, test pattern generation, design for testability, built-in-self-test, and diagnosis. Graduate standing in ECE is required. 5506: circuit verification including two-level and multi-level circuit verification, sequential circuit verification, model-checking simulation-based verification, and ATPG-based verification. Graduate standing in ECE required.