#
podem
Here are 4 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
Fault-free circuit simulation, deductive fault simulation, and PODEM test pattern generation library
-
Updated
Dec 14, 2024 - Python
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."