| |
Jan 28, 2025
|
|
|
|
|
ECE 8389 - Foundations of Formal Verification and Validation
Credits: 3
Surveys common approaches for formal methods of detecting and correcting integrated circuit design errors before device fabrication used in industry and in other research environments. Emphasizes trade-offs between formal methods and validation techniques and the use of commercial state-of-the-art software tools. Includes equivalence checking, model checking, theorem proving, and advanced topics in validation and simulation. Introduces the application of formal methods in other areas. Prerequisite: Knowledge of programming languages, data structures, advanced digital logic design, and computer architecture, or consent of instructor.
Add to Catalog (opens a new window)
|
|