3 ms·
That's amazing! Do you have some link about the designed CPU?
by nextaccountic 3y ago
That's amazing!
Do you have some link about the designed CPU?
- less_less 3y agoI'm not sure it ever got built! The Spectre stuff was found during the "how would we even begin to do this" phase. I've seen a fair amount of academic work about formally verifying RISC-V cores though.