1
Verifying ARM processors against the official ARM specification
Researcher at Intel
Alastair Reid
Researcher at Intel
- Popular posts
- 4
- Total points
- 691
- HN comments
- 171
- Rank
- #3,519 personal
Visit alastairreid.github.io → RSS feedOn Hacker News Jul 2016 – Apr 2024
Software Engineering 4Hardware & Electronics 3Programming Languages 1
2
ARM Releases Machine Readable Architecture Specification
Researcher at Intel
3
How to improve the RISC-V specification
My main project is to create an executable spec of the Intel Architecture but, every now and then, I get to take a broader look at ISA specifications and think about the strengths and weaknesses of other ISA specs: what makes them work well; and what techniques they could borrow from other specifications. Earlier this…
4
Rust testing or verifying: Why not both?
Dijkstra famously dissed testing by saying “Program testing can be used to show the presence of bugs, but never to show their absence!” As if you should choose one over the other. I don’t see them as opposites but as complementary techniques that should both be used to improve the quality of your code.