cotalks.dev

TestRIG Using RVFI DII to eliminate the Test gap between specification and implementation

(link)
note