All numbers are taken from the IPX‑SDK benchmark suite (v1.2) and represent typical silicon under nominal conditions (25 °C, 1.0 V core).