| |
Apr 19, 2024
|
|
|
|
|
CS 8389 - Foundations of Formal Verification and Validation
Credits: 3
Detecting and correcting integrated circuit design errors before device fabrication is an increasingly complex and costly problem. This course surveys common approaches for formal methods 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)
|
|