Projects in Awesome Lists tagged with atpg
A curated list of projects in awesome lists tagged with atpg .
https://github.com/AUCOHL/Fault
A complete open-source design-for-testing (DFT) Solution
atpg dft eda fault-simulation jtag scan-chains stuck-at testing verilog verilog-hdl vlsi-cad
Last synced: 22 Apr 2025
https://github.com/hsluoyz/atalanta
Atalanta is a modified ATPG (Automatic Test Pattern Generation) tool and fault simulator, orginally from VirginiaTech University.
Last synced: 27 Mar 2026
https://github.com/coloquinte/quaigh
Logic circuit analysis and optimization
atpg equivalence-checking logic-optimization
Last synced: 07 Apr 2025
https://github.com/pfnet-research/atpg4sv
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
atpg concolic-execution ocaml smt-solver symbolic-execution system-verilog
Last synced: 13 Apr 2025
https://github.com/charkster/rpi4_gpio_atpg_stuck_at
Raspberry Pi 4 is used to drive ATPG stuck-at patterns to an IC. Python is used to drive the patterns and check for expected levels on the scan_out pins (4 chains in this example). A Perl script is used to parse the ATP pattern data into Python lists (I prefer to parse text files using Perl).
atpg gpio raspberry-pi stuck-at
Last synced: 11 May 2026
https://github.com/mummanajagadeesh/4-bit-ripple-carry-adder
VLSI test project: 4-bit ripple carry adder with random stuck-at fault injection. Supports ATPG-based verification, fault modeling, and simulation for learning and experimentation
atpg fault-modeling hdl icarus simulation stuck-at-faults testing verilog vlsi vlsi-testing vlsi-verification
Last synced: 04 Oct 2025
