Para empezar, si decides usar el pic 16f84 con el proteus tienes bastante para obtener resultados bastante fiables. Si por contra decides usar algun otro pic con el proteus no se obtienen resultados nada satisfactorios sobretodo con las interrupciones externas, yo te lo desaconsejo del todo.
Yo uso placas entrenadoras para probar los programas y demas, asin sabes que el resultado es 100% fiable, tenen cuenta que las placas comerciales son caras y esto no es sinonimo de que sean de buena calidad, yo he trabajado con la micropik trainer y la verdad es que gastar los casi 150€ que vale es tirar el dinero.
Te aconsejo que te diseñes tu propia placa, te saldra muy barato y podras adaptarla a tus necesidades.
Salu2