On determining symmetries in inputs of logic circuits
- 1 January 1994
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 13 (11) , 1428-1434
- https://doi.org/10.1109/43.329273
Abstract
We propose a method for computing maximal sets of symmetric inputs in logic circuits, using a test generation procedure for single stuck-at faults. The method is enhanced by a heuristic that can be used to identify nonsymmetric inputs and thus 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. Experimental results demonstrate the effectiveness of the proposed procedures.This publication has 26 references indexed in Scilit:
- ACCORD : Automatic Catching and Correction of Logic Design Errors in Combinational CircuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Combinational profiles of sequential benchmark circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Automating the diagnosis and the rectification of design errors with PRIAMPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Locating logic design errors via test generation and don't-care propagationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On diagnosis and correction of design errorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Probabilistic design verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient automatic diagnosis of digital circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An algorithm for locating logic design errorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Locating functional errors in logic circuitsPublished by Association for Computing Machinery (ACM) ,1989
- DAGON: technology binding and local optimization by DAG matchingPublished by Association for Computing Machinery (ACM) ,1987