cotalks.dev

Introduction to RISC-V Processor Verification, Larry Lapides, Imperas Software

(link)
note