ECE 6745-001 Fall 2025 Test/Verif Digital Ckts

FALL 2025

ECE/CS 5745/6745 Testing and Verification of Digital Circuits

Hardware Verification using Symbolic Computation

The course will be taught through my website hosted on the CADE servers:

https://my.ece.utah.edu/~kalla/index_6745.html

ECE/CS 5745/6745 Testing and Verification of Digital Circuits

Fall 2025

All the course lecture notes, lecture slides, links to CAD tools, HWs, benchmarks, etc. will be available on the above website. 

Canvas will be used, however, for:

• HW & Project Submissions,
• discussions,
• email,
• announcements, 
• grades,
• etc.