Hardware-software cosynthesis for the Riley system | IET Conference Publication | IEEE Xplore