faultsim

Basic combinational logic circuit fault simulation

Python 3.6+ required

Installation

pip install faultsim

or alternatively, install from source

git clone https://github.com/immaxchen/faultsim.git
cd faultsim
pip install .

Basic Usage

import faultsim as sim

build the stuck-at faults example circuit in section 1.3.2.1 of the textbook [1]

X1 = sim.Node("X1")
X2 = sim.Node("X2")
X3 = sim.Node("X3")

NOT1 = sim.NOT("NOT1")
AND1 = sim.AND("AND1")
AND2 = sim.AND("AND2")
OR1 = sim.OR("OR1")

X1.connect(AND1.A)
X2.connect(AND1.B, NOT1.A)
X3.connect(AND2.B)
NOT1.Q.connect(AND2.A)
AND1.Q.connect(OR1.A)
AND2.Q.connect(OR1.B)

PI = sim.NodeList(X1, X2, X3)
PO = sim.NodeList(OR1.Q)

run simulation without fault

PI.setbitstr('000')
PI.propagate()
ans = PO.getbitstr()

assign fault and re-run simulation

X3.stuckat = 1
PI.setbitstr('000')
PI.propagate()
ans = PO.getbitstr()

for more examples, please refer to the examples folder

Reference

[1] Wang et al. (2006). VLSI Test Principles and Architectures: Design for Testability. Elsevier Publish.