Rassmotreny voprosy proektirovaniya apparatno-programmnyh sistem s orientaciej na ih realizaciju v mikroshemah tipa Sistemy-na-Kristalle (System on a chip). Obsuzhdajutsya voprosy strukturnoj dekompozicii zadach s primerami iz razlichnyh oblastej, v chastnosti cifrovoj obrabotki signalov i shifracii informacii. Osobennoe vnimanie udelyaetsya problemam verifikacii i testirovaniya proektov s ispol'zovaniem yazykov verifikacii apparatury, prezhde vsego, yazyka SystemVerilog.