Home / Courses / ELC / 5317

ELC 5317: Verification and Validation

Spring 2027 · 3 credit hours · 1 section · 10 open seats as of Oct 30, 2026, 3:02 AM Central

This course offers in-depth exploration of the fundamental and state-of-art methods, techniques, and knowledge for certifying customer requirements of any given digital system through a proven validation process. You will also acquire an understanding of determining whether a digital system is built correctly through formal verification. Verification and validation are essential for computer engineers of any system from the design phase to manufacturing phase to establish a product’s quality and fit for purpose prior to deployment. You will learn the significance of verification and validation through a combination of lectures and hands-on assignments designed to reinforce core values of the engineering process. Students may not earn credit in both ELC 4317 and 5317.

Professors teaching ELC 5317 in Spring 2027

Ernest Bonnah. See their BUBooks scores and reported grades in the builder.

Sections

Build a schedule with ELC 5317

Seat counts change fast during registration. The builder checks Baylor live every time you build. Always confirm CRNs in BearWeb.