#
podem
Here are 9 public repositories matching this topic...
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
Digital logic circuit simulation, deductive fault simulation, and PODEM test pattern generation library
-
Updated
Jun 20, 2025 - Python
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
Companion repository for Stealth Project #56820BZ
-
Updated
Sep 21, 2026 - Mermaid
Python implementation of Automatic Test Pattern Generation using the PODEM algorithm and SCOAP testability analysis, with four-valued fault logic, ISCAS-style benchmarks, and single stuck-at faults.
-
Updated
Oct 3, 2026 - Python
Add this topic to your repo
To associate your repository with the podem topic, visit your repo's landing page and select "manage topics."