Verification challenges of complex system-on-chip devices. - Martin Horauer; Dominik Widhalm; Stefan Tauner; Stefan Mirtl (Elektrotech. Informationstechnik, 2015)