VLSI Group Profile

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.


Video presentation of VLSI research group (in Czech)
VLSI research group poster

Contact info

Department of Computer Science and Engineering
Faculty of Electrical Engineering
Czech Technical University in Prague

Karlovo nám. 13
Praha 2
CZ-121 35
Czech Republic
Phone: +420 2 2435 7470
Fax: +420 2 2492 3325



Last modified: 27.9.2005 by Petr Fišer