Portland-State-University 2019-2020 Bulletin

ECE 582 Formal Verification of Hardware/Software Systems

Objective is to introduce the main formal verification methods of hardware/software systems. Topics to be covered include: formal logics for system verification (first-order logic, higher order logic, temporal logic), formal specifications, theorem proving systems, microprocessor verification, and system software verifications.

Credits

4

Prerequisite

ECE 371, or CS 321, CS 333.
  • Up one level
  • 500