RISC processor 8bit (AVR ISA), RTL based on 'navre'