HISCOAP: a hierarchical testability analysis tool

We describe a time and space efficient technique for evaluating the SCOAP testability measure of a circuit from its hierarchical description. Under the stuck at fault model, the SCOAP measure introduced by Goldstein is known to offer a good estimate of the controllability and observability of a given circuit. SCOAP works on a gate-level netlist, and can be expensive in terms of memory and computational resources when large circuits of VLSI complexity are involved. We show that this problem can be alleviated by taking advantage of a hierarchical representation of the circuit. We introduce the notion of SCOAP expression diagrams for functional modules, which can be precomputed and stored as part of the module database. The hierarchical testability analysis program, HISCOAP reads the SCOAP expression diagrams for the modules used in the circuit, and evaluates the SCOAP measures in a systematic manner. The program has been implemented on a Sun/SPARC workstation, and we present results on several benchmark circuits, both combinational and sequential.