Build the application projects using the PSoC Creator. The firmware binaries will be generated in ELF, HEX, and
CYACD formats suitable for SWD programming, Miniprog, and the EZ-PD configuration utility.
You can refer to the chapter 4 of the CY4531 Kit Guide for updating the firmware using EZ-PD config. Else you can also use PSoC programmer with a Miniprog to flash the firmware with SWD.