Course Assignments - EE 709 - Testing and Verification of VLSI Circuits - Spring Semester 2023

Instructors - Prof. Madhav P Desai and Prof. Janak H Patel

This repository contains all the relevant files, my solutions to the assignments done in the course. The language and frameworks used were C, minisat, bddlib

• BDD Based Formal Verification
• SAT Based Formal Verification/Test Generation
• Boolean Algebras
• Switching Algebras
• PODEM