Teaching Hardware/Software Co-design of Embedded Systems – a Case Study | IEEE Conference Publication | IEEE Xplore