fault-simulation

Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd.io/a4Zu_sH4TZGeih-xCimi3Q

A complete open-source design-for-testing (DFT) Solution

FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool

Hardware Formal Verification

Simple fault simulator

Source files and documentation for the final assignment of the "Testing and Fault Tolerance" course.

A serial and parallel logic fault simulator on gate level netlists.

Path-Oriented Decision Making (PODEM) algorithm for Automatic Test Pattern Generation (ATPG).

This is a Combinational Circuit Logic Simulation Tool. There is a C++ version and a C version.

Fault Simulation | Parallel Fault Simulation | Deductive fault Simulation | Test Coverage

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.

Scientific tool to generate fault cell-aware models from SPICE cell simulations

RiscV Environment for Simulation (R4VES) is a generic and modular framework that eases the grunt work required in order to perform pre/post-synthesis logic and fault simulation on RISC-V cores based on Model/QuestaSim and Z01X.

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.

AI test generation reinforced by property-based fault simulation

A fault simulator that adopts an algorithm called "GODFATHER" created by Pier Paolo Ucchino

a complete guide for users to create a complete open-source ASIC-learning-environment.

VLSI testing and design-for-testability in SystemVerilog: stuck-at fault models, serial fault simulation, an LFSR test-pattern generator and a 4-bit scan chain.

A bench-scale rig for reproducing common industrial machine faults (unbalance, misalignment, bearing wear, abnormal load, flow/level faults, overcurrent) under controlled, repeatable conditions, with a full multi-sensor data-acquisition pipeline for predictive-maintenance research.

Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd.io/a4Zu_sH4TZGeih-xCimi3Q