Validation of Test Sets for Improving the Stuck of Fault Coverage of RTL Circuits - Diviya (GU); Nagarathinam (S) (2011)