#
iscas85
Here are 3 public repositories matching this topic...
Python-based VLSI Fault Simulator for ISCAS-85 benchmarks. Features a CLI engine for Stuck-at Fault injection, Logic Simulation, and reduced fault lists via Equivalence & Dominance collapsing algorithms.
-
Updated
Dec 19, 2025 - Python
A C++ utility for generate propositional non-clausal fórmulas, using iscas85 circuit specification
-
Updated
Sep 1, 2023 - C++
Add this topic to your repo
To associate your repository with the iscas85 topic, visit your repo's landing page and select "manage topics."