rohankalbag / testing-and-verification Star 0 Code Issues Pull requests Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay c binary-decision-diagrams minisat formal-verification test-generation satisfiability-problem advanced-boolean-algebra bddlib podem Updated May 14, 2023 C
kanndil / PODEM-ATPG Star 0 Code Issues Pull requests Path-Oriented Decision Making (PODEM) algorithm for Automatic Test Pattern Generation (ATPG). testing dft eda design-for-testability atpg fault-simulation vlsi-design stuck-at-faults podem Updated Jun 18, 2024 Python