Transcript Lecture 18: Formal Verification of Digital Systems, by Suraj Sindia