Design and efficient verification of network attached system on chip devices. - Nikolaus Kerö; Gerhard R. Cadek; Erich Maurer; Tobias Müller (Elektrotech. Informationstechnik, 2015)