— Testing & Verification of Digital Systems

Prerequisites & course information

Course Description: Computer aided-testing and design verification techniques for digital systems; physical fault testing; simulation-based design verification; formal verification; timing analysis. Learning Activities: Lecture 3 hour(s), Laboratory 4 hour(s). Grade Mode: Letter. General Education: Science & Engineering (SE). Learning Activities: Lecture 3 hour(s), Laboratory 4 hour(s). Grade Mode: Letter. General Education: Science & Engineering (SE).