#
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).
-
Updated
Sep 19, 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."