even more 6502: Verilog model and another KIM-1 project