Thus, after synthesis of faulty descriptions, a program analyzes the synthesized
code to find out which elements of the fault port are unconnected, thus
automatically highlighting the presence of redundant faults. Fault [0) Fault [11.
Fault [21 .