|
|
|
Feb 10, 2025
|
|
2015-2016 Graduate Course Catalog [ARCHIVED CATALOG]
|
CSE 765 - VLSI Testing and VerificationCollege of Engineering and Computer Science
3 credit(s) At least 1x fall or spring
Fault modeling and simulation, automatic test pattern generation, design for testability, boundary scan architectures, and built-in self-test. Functional simulation, coverage metrics, event- and assertion-based verification, and formal methods including model checking and logical equivalence checking.
PREREQ: CSE 561 , CSE 664
|
|
|