Está bien la idea, lo que no sé es como de estable y preciso es el TIMER1 con un cristal de 32765Hz, frente a un TCXO de 20MHz.
En el foro vi un frecuencimetro diseñado por Picuino con un PIC18F2550, pero los archivos ya no funcionan. Por lo que vi, toma una diferencia de tiempo y otra de pulsos contados, y de ahí calcula la frecuencia.
Saludos!!!