My team are using the S12ZVC series but found out the S912ZVC64F0MLFR is not enough for the GPIO pin. When we tried to change to the 64-pin S12ZVC, we are confused with the exact name of our target S12ZVC product, which has 64pin and 64kB flash memory. Is that S912ZVC64F0VKH, similiar to the S912ZVC12F0VKH on the official DEVKIT-S12ZVC?
Is there any naming rules pdf or link about this?