ADSP-BF524's NFC HW ECC algorithm

Dear all,

I'm interested in what specific ECC algorithm is used inside the NFC of ADSP-BF524.

Can I find its software implementation somewhere?

Thanks!