To supplement the info from Jez here is some more.

First off here is a overall informational link:

Introduction to IrDA

And secondly here is one of the Xilinx app notes on IRDA:

IrDA and UART Design in a CoolRunner CPLD

Have Fun !!
Michael Karas