Sequential Logic Testing And Verification Circuit Design Newton Ghosh Devadas

You will find that this textbook breaks down difficult topics into manageable chunks.