A new technique of synthesizing symmetric boolean functions is presented that achieves complete robust path-delay fault testability. We show that every consecutive symmetric function can be expressed as a logical composition (e.g., AND, NOR) of two unate symmetric functions, and the resulting composite circuit will be 100% robustly path-delay fault testable, if the constituent unate functions are synthesized with two-level irredundant circuits. Non-consecutive symmetric functions can also be synthesized by decomposing them into a set of consecutive symmetric functions. The hardware overhead of the proposed design can further be reduced by a novel algebraic factorization technique based on some combinatorial clues. The overall synthesis guarantees complete robust path-delay fault testability, and can be completed in linear time. The results reveal that the proposed method ensures a significant reduction in hardware, as well as in the number of paths, which in turn reduces testing time as compared to those of the best known earlier methods.
Citation:
Susanta Chakraborty, Sandip Das, Raja Rammohonpur, Debesh K. Das, Bhargab B. Bhattacharya, "Synthesis of Symmetric Functions for Path-Delay Fault Testability," vlsid, pp.512, 12th International Conference on VLSI Design - 'VLSI for the Information Appliance', 1999