Radio receiver mixer model for event-driven simulators to support functional verification of RF-SOC wireless links | IEEE Conference Publication | IEEE Xplore