ELE 765

System Verification and Testing

Syracuse University · UGRD · Fall 2026

1 section

Catalog description

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.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #syracuse-ELE765Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?