A SystemC-Based Verification Methodology for Complex Wireless Software IP. - Guido Post; P. K. Venkataraghavan; Tapan Ray; D. R. Seetharaman (DATE, 2004)