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.htmlLinks to an external site.

ECE/CS 5745/6745 Testing and Verification of Digital CircuitsLinks to an external site.

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.