OpenCores tiene un núcleo del PIC16F84 escrito en Verilog.