DESIGN SOFTWARE FOR GENERATING CIRCUIT DESIGNS FOR BUILT-IN REDUNDANCY ANALYSIS CIRCUITRY FOR SEMI-CONDUCTOR MEMORY REPAIR; MANUALS SUPPLIED AS A UNIT WITH SUCH SOFTWARE