Sequential Logic Testing And Verification door Abhijit Ghosh