Title :
On determining symmetries in inputs of logic circuits
Author :
Pomeranz, Kith ; Reddy, Sudhakar M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA
Abstract :
We propose a method for computing maximal sets of symmetric inputs in large circuits, using a test generation procedure for single stuck-at faults. The method is enhanced by heuristics that can be used to identify non-symmetric inputs, and reduce the number of inputs for which test generation has to be carried out. We show the relevance of the problem to input matching for design diagnosis and for technology mapping, and show that the input patterns produced by one of the heuristics can be used for input matching as well. Experimental results demonstrate the effectiveness of the proposed procedures. We also introduce an extended definition of input symmetry that helps in effectively solving the design diagnosis and technology mapping problems
Keywords :
logic design; logic testing; design diagnosis; heuristics; input matching; input patterns; large circuits; logic circuit input symmetries; maximal sets; nonsymmetric input identification; single stuck-at faults; symmetric inputs; technology mapping; test generation procedure; Circuit faults; Circuit testing; Cities and towns; Impedance matching; Libraries; Logic circuits; Logic functions; Logic testing; Pattern matching; Pulse inverters;
Conference_Titel :
VLSI Design, 1994., Proceedings of the Seventh International Conference on
Conference_Location :
Calcutta
Print_ISBN :
0-8186-4990-9
DOI :
10.1109/ICVD.1994.282697
