Live at DAC #4: Virtual platforms, IoT and “a new era of facts when we talk about verification”