Module arm_backend 

ARM Backend — wraps the instruction selector + optimizer + encoder as a Backend

This is Synth’s custom ARM compiler targeting Cortex-M (Thumb-2). It’s the only backend that supports per-rule formal verification (ASIL D path).

Structs

ArmBackend

ARM Cortex-M backend using Synth’s custom compiler pipeline