CheckMate: Verifying processors through automatic exploit synthesis [pdf]cs.stanford.edu1 pointdwrodri6 years ago