it is planned that ESPL1000 should get an AVR Backend and be able to generate assembly code in the AVR Instructions Set
AVR Instruction Set Manual (PDF) AVR Instruction Set (Wikipedia)Developing a Compiler Backend requires some tooling to test the generated machine code. I have come across a variety of good Simulators for the AVR Architecture.