AT32F407 сильно отличаются от STM32F407. GPIO регистры у АТ407
похожи на STM32F107. Наиболее близки к STM32F407 это AT32F437. Но и у них есть разница в регистрах контроллера флеш памяти, узла генераторов и сброса RCC/CRM (явно видно из док).
У Аrtery на сайте нет аналога STM документа (Program manual =PM ) с описанием узла SCB, (у меня используется для перемещения векторов и программного ресета). Но судя по примерам кода и .h файлам у SCB есть аналогичность. Возможно SCB как и SysTick таймер входит в стандартное ядро СМ4.