Toolchain and project steps


gas (make check)
opcode to binary check  (compare listing)
gdb (make check)
(assembly coding) -> If gdb simulator runs OK
To verify gdb sim model
VHDL model
(assembly coding) mentioned above
      is also good at verifying Hardware Model
FPGA (real hardware emulation) and Silicon
      The same thing true
gcc (and this presentation)
newlib (libc alternative for embedded)