ESL design and HW/SW co-verification of high-end Software Defined Radio platforms | IEEE Conference Publication | IEEE Xplore