Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
faultflow is an open-source Automatic Test Pattern Generation (ATPG) and fault simulation engine for post-synthesis gate-level netlists from Yosys, with SAT-based test generation, stuck-at and transition fault models, scan insertion and IEEE 1500 core wrapping.
Light Logo Dark Logo

Introduction

  • About faultflow
  • Concepts

Getting Started

  • Installation
  • Quick start

User Guide

  • The Tcl shell
  • Flow recipes
  • Configuration reference
  • Running without the shell
  • Test-point insertion
  • Outputs

Architecture

  • Architecture overview
  • Cell libraries
  • Fault collapsing rules

Reference

  • Testing & verification
  • Benchmarking
  • External tools

Project

  • Contributing
  • Roadmap
Back to top
Copyright © 2026, faultflow contributors
Made with Sphinx and @pradyunsg's Furo