cotalks.dev

Verifying a Complex RISC-V Processor Using Test Generation and Hardware Emulat... W. Han & A. Sutton

(link)
note