SystemVerilog assertions handbook : for dynamic and formal verificationby Ben Cohen, Lisa PiperWriting a summary for young readers…For young readersBook data: Open Library