dass es ICs gibt die sowas demodulieren können weis ich wie gesagt,
mich interessiert wie genau die das machen.

geht das vielleicht einfach über nen Schwingkreis, der auf die richtige Resonanzfrequenz eingestellt wird?


Wenn Du zum Ansteuern der IR-LED keinen Timer Deines Mikrokontrollers opfern willst, dann lohnt es sich, das Datenblatt des CD4046 zu studieren.
ich nehm dafür einfach einen NE555 damit sollte das auch klappen.