AFAIK, Digic is an application-specific integrated circuit (ASIC). You are right, it almost certainly has a general purpose processor of the "embedded kind," capable of running ARM instruction sets. Not sure how fully-fledged it is; do you know what core they use?
In my work, we tend to...