Synthesis of symmetric functions for path-delay fault testability | IEEE Conference Publication | IEEE Xplore