Research and Debugging

Research continues on modeling at the system level. The two articles about transaction level modeling have given way to many other sources on system level modeling and verification.

Further progress has been made in debugging the SystemC model for the MSP430 core and peripherals. Sample programs are written in C code, compiled and translated into machine code, and then verified by comparing the model output to the expected output. Furthermore, the IAR Embedded Workbench tool also generates a list file containing assembly code - this is useful in debugging because I can see what instructions the core will process.