Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples

2 comments

• addaon 2 hours ago
  At a lower level in the formal verification stack than this, it's on the one hand awesome that ARM has published a machine readable architecture specification for the more recent A architectures in ASL... and on the other hand extremely frustrating that they haven't done the same for M.
  [-]
  • topspin 36 minutes ago
    Looks as though ARM is doing ASL for Armv8-M.

    "For example, the ASL code published through the A-Profile Arm Architecture Reference Manual, Exploration Tools downloads for A-Profile, or the Armv8-M Architecture Reference Manual."

    https://developer.arm.com/architectures/architecture%20speci...
• Neywiny 36 minutes ago
  I'll read more later but just keep in mind nucleo is a series of form factors. There's even M33 on a -144 which is ARMv8-M