Chris Johnson,
Index
Fault Models
Single stuck-at models.
Hardware seen as `black-box'.
Fault modelled as:
- input or output error;
- stuck at either 1 or 0.
Models permanent faults.