3 ms·
It's a valid question, but hardware has much more formal verification than software.
by scott_s 11y ago
It's a valid question, but hardware has much more formal verification than software.
- _asummers 11y agoModern CPUs do not necessarily correlate assembly to exact machine instructions, due to things like pipelining. [0][1] [0] http://blog.erratasec.com/2015/03/x86-is-high-level-language.html http://blog.erratasec.com/2015/03/x86-is-high-level-language... [1] https://news.ycombinator.com/item?id=9264195 https://news.ycombinator.com/item?id=9264195
- scott_s 11y agoThis is true, but not an issue when it comes to this issue. All of that falls under the formal verification for processors.