#
podem
Here are 3 public repositories matching this topic...
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
Path-Oriented Decision Making (PODEM) algorithm for Automatic Test Pattern Generation (ATPG).
testing
dft
eda
gsoc
design-for-testability
atpg
fault-simulation
vlsi-design
path-oriented
stuck-at-faults
podem
gsoc-2024
-
Updated
Sep 30, 2024 - Python
Improve this page
Add a description, image, and links to the podem topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the podem topic, visit your repo's landing page and select "manage topics."