7 ms·
Alastair Reid has also done quite a bit with formal verification and specification of the ARM instruction set: See https://alastairreid.github.io/using-asli/ h
by an_d_rew 2y ago
Alastair Reid has also done quite a bit with formal verification and specification of the ARM instruction set:
See https://alastairreid.github.io/using-asli/ https://alastairreid.github.io/using-asli/ and cross-references there in