Scratch what I've said. Some other comments have enlightened me that this is actually a proper SOC so I can't answer this properly. In the past they've used FPG

Scratch what I've said. Some other comments have enlightened me that this is actually a proper SOC so I can't answer this properly. In the past they've used FPGAs (IP cores are their primary business) for dev boards but it looks like they have reached sufficient momentum to justify a dedicated ASIC run.