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 (simulator)
(assembly coding) mentioned above
      is also good at verifying Hardware Model