You can have a look at Remote Control reference design kit:
Samsung and NEC IR protocols have been implemented using PWMs.
do you have a link of the psoc programming code used in this proc remote?
In the link that I have posted, download the 'CyY5672 KIT ONLY PACKAGE'. The package contains the example code for the remote control.