Sequential Logic Testing And Verification by Abhijit Ghosh