Radio receiver mixer model for event-driven simulators to support functional verification of RF-SOC wireless links.