ESL design and HW/SW co-verification of high-end software defined radio platforms. - A. C. H. Ng; Jan-Willem Weijers; Miguel Glassee; Thomas Schuster; Bruno Bougard; Liesbet Van der Perre (CODES+ISSS, 2007)