ENG3050 Embedded Reconfigurable Computing Systems Hardware Software Co-design Embedded System Design.