The .HEX files are used to program the PSoC. A .ELF file contains information of absolute addresses within the code, frequently used to implement bootloader.
Verification of the hex-file is inherent: the file contains checksums for every line (it is an ascii file) and afaik an additional checksum for the complete file. Have a look for "Intel Hex File" at google's. When programming id done, the checksums are tested. Programming verification (read-back) is done by the programming-software PSoc Programmer.
Thanks for the immediate reply.
You are always welcome!