Redundancy identification and removal in combinational circuits
Prem R. Menon, Hitesh Ahuja, M. Harihara · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994
Identification and removal of redundancy in digital circuits is important for improving their testability as well as reducing their area. This paper presents a method of identifying and removing redundancy in combinational circuits by analyzing circuit structure. Experimental results indicate that the method is quite efficient in execution time, but may not identify all undetectable faults. It is expected to be suitable for integration into a logic synthesis system. It can also be used as a preprocessor for a test pattern generation program or for a test pattern generation based redundancy removal program.>