Skip to content

Alastair Reid personal blog

Verifying ARM processors against the official ARM specification

alastairreid.github.io

Researcher at Intel

Read on alastairreid.github.io → Discuss on HN (64) Archived copy

Points: 219
HN comments: 64
Submissions: 1
Cited by: 0 commenters

Hardware & Electronics Software Engineering 2016

On Hacker News

Submitted	Title on HN	Points	Comments
Jul 26, 2016	Verifying ARM processors against the official ARM specification by jsnell	219	64

More from Alastair Reid

All 4 posts →

ARM Releases Machine Readable Architecture Specification

2017167 points18 comments Hardware & Electronics details

How to improve the RISC-V specification

2024162 points61 comments Hardware & Electronics details

Rust testing or verifying: Why not both?

2020143 points28 comments Software Engineering details

Related posts from the same era

Raspberry Pi Zero: the $5 computer

Raspberry Pi Blog20151,271 points513 commentscited by 4 details

Show HN: Sorting Two Metric Tons of Lego

Jacques Mattheij20171,264 points211 commentscited by 19 details

A Message to Our Customers about iPhone Batteries and Performance

Apple Newsroom20171,176 points832 commentscited by 9 details

Cat-proofing a cat feeding machine

Quinn Dunki20161,107 points289 commentscited by 3 details

24-core CPU and I can’t move my mouse

Bruce Dawson20171,011 points752 commentscited by 13 details

An Open Letter to Intel

Andrew S. Tanenbaum2017996 points363 commentscited by 18 details