A fork of John Franco's excellent course on Cryptol/SAW, esp. for hardware verification. - View it on GitHub