Methods of formal specification and verification of VLSI circuits based on hardware description languages and conceptual graphs, design and evaluation of heuristic techniques for selected problems in VLSI systems, reconfigurable computing, hardware accelerators, hardware accelerators, HW/SW co-design methodologies, FPGA technology mapping and layout, embedded processor core for FPGA, design for testability, BIST on circuit and system level, design and modeling of fault-tolerant systems.