Synopsis

Sproing can perform various types of diagnosis, from simple stuck-at, to the slightly more complicated node diagnosis, to bridging fault diagnosis. Stuck-at diagnosis requires a stuck-at dictionary and will diagnose the observed behaviors as being stuck-at faults. Nodal diagnosis attempts to diagnose for problematic nodes, as opposed to a node being stuck-at a single value (as assumed in stuck-at diagnosis). In nodal diagnosis, a node can be stuck-at either value (0/1). This requires the creation of a composite dictionary, but of a different type then for the next type of diagnosis, bridging fault diagnosis. Bridging fault diagnosis attempts to identify bridging faults based on only stuck-at fault tests, and likely bridges. A composite dictionary based on all the possible stuck-at faults associated with the bridged nodes needs to be created.