This paper examines the various logical equivalence checking methodologies and suggests an automated way of establishing the modules in which there is an ECO (logic addition/deletion). The experimental results provided in this paper prove the quality of the ECOed netlist obtained with the help of the above information is in no way inferior (in terms of gate count) to a corresponding manual implementation and takes less time as opposed to its counterpart.