A 42.5µW/MHz ultra-low power 32-bit microcontroller — SPARK | IEEE Conference Publication | IEEE Xplore