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
rohankalbag / testing-and-verification Goto Github PK
View Code? Open in Web Editor NEWTesting and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay