The 6502 conversion was especially difficult, as the processor made use of some wacky analog tricks (like capacitive storage) which can't be represented in Verilog at all. The author of that conversion had to do a great deal of manual work to detect these features and convert them to digital logic.