Synthesis of Full Hardware Implementation of RTOS-Based Systems | IEEE Conference Publication | IEEE Xplore