|
|
|
Feb 21, 2025
|
|
2019-2020 Graduate Course Catalog [ARCHIVED CATALOG]
|
ELE 765 - System Verification and TestingCollege of Engineering and Computer Science
3 credit(s) At least 1x fall or spring
Crosslisted with: CSE 765
Concepts, methods, and technology for effective verification of complex systems. Coverage metrics, event- and assertion-based verification, and formal methods including model checking and logical equivalence checking. Testing strategies, architecting testbenches, and design for verification.
|
|
|