Metody formální specifikace a verifikace obvodů VLSI založené na využití jazyků pro popis hardwaru a konceptuálních grafů. Návrh a hodnocení heuristických technik pro řešení vybraných problémů v oblasti návrhu VLSI. Rekonfigurovatelné výpočetní prostředky, obvodové akcelerátory. Společný návrh hardwaru a softwaru. Logický a fyzický návrh obvodů FPGA. Návrh vnořeného procesorového jádra na bázi FPGA. Návrh snadno testovatelných obvodů, vestavěné diagnostické prostředky na obvodové a systémové úrovni. Návrh a modelování systémů odolných proti poruchám.