As I understand deferred revenues, anything shipped by STM would not be deferred revenues...it would be invoiceable at STM's shipment. (Wave may not be able to recognise it until July, but that's not a problem, as far as I'm concerned.)
However, if STM paid Wave in advance for software for 5 million TPM (not that I'm suggesting that happened) then the remaining 3 million+ of revenues would be deferred until STM actually shipped their product, and that deferred revenue would a) be cash in hand that could be spent and b) identified in the 2Q financials.
"Absence of evidence is not evidence of absence. - Carl Sagan