This is all work that have been done with SystemC on my Embedded Systems class at UFSC