Ada on ARM Cortex-M - tutorial

I'm pleased to announce that the tutorial titled "Ada and SPARK on ARM Cortex-M" got its second edition:

formatting link

The tutorial was extended and now targets four popular development boards:

- Arduino M0 (or Genuino Zero)

- Arduino Due

- STM32 Nucleo-32 (with F0 chip)

- STM32 Nucleo-144 (with F7 chip)

The tutorial explains how to write Ada/SPARK programs with zero run-time, without any underlying layers and based solely on the information from chip reference documentation.

Source code for all examples, for all of these boards, is also available.

Regards,

--
Maciej Sobczak * http://www.inspirel.com
Reply to
see.my.homepage
Loading thread data ...

Thank you for your efforts.

Do you have any plans for extending the tutorial to the Zynq FPGA devices, which contain two A9 processors?

People are at last waking up to the Zynq's advantages, and there are low-cot boards becoming available.

Reply to
Tom Gardner

Thank you for the feedback. There are no strict plans (yet!) for subsequent editions, but feedback from readers is exactly what drives such efforts. I fully agree that the Zynq series of devices is an interesting target and i t very well might be that this will be the direction for further tutorial c hapters.

Note also that natural technical connections between Ada and VHDL make such hybrid developments (that is, ARM + FPGA) a particularly fertile ground fo r discovery and exploration. :-)

Regards,

--
Maciej Sobczak * http://www.inspirel.com
Reply to
see.my.homepage

I wondered if you would notice that!

The HDL world is just as partisan and divided as the software world. In this case the division is between Verilog and VHDL, and similar preferences guide people towards each of them.

Unlike the software world, vendors (Xilinx in this case) treat them as equals, and it is normal to see designs consisting of some VHDL modules mixed with some Verilog modules.

I will ignore System-c :)

Reply to
Tom Gardner

ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.