cotalks.dev

Making RISC-V Market-Ready: The Economic Case for Formal Verification

(link)
note