We need Key diversification alogrithmn for NXP AV1 1KTDES, NXP AV1 2KTDES, and NXP AV1 AES128. Can we get sample C source code or application note for the same to use with LPC1114, RC663 and DESFire EV1 Card,