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,522 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…