Ing. Martin Kohlík, Ph.D.

2012

This project is focused on digital system´s design with respect to their hardware area, working frequency, power, realiability issues and testability. Pilot implementations will realized in FPGA. Hign realiability parameters will be achieved by dynamical re-configuration. The compressed test generation methodology based on overlapping of the test vectors will be improved using their implicit representation to maximize the test effectivity.

2011

The research projects of Digital Design and Dependability group are focused on dependable system design implemented in programmable gate arrays (FPGA) and their testing. Increasing of dependability of circuits will be achieved by effective usage of dynamic reconfiguration. For improving the testability of the circuits a method for decomposition of the circuit will be developed. Dependability models are the necessary part of such research, because they allow us to verify dependability parameters improvements gained from developed methods. The main features of dependability models will be simplicity, easy extension and easy modification. The models will be used to calculate dependability parameters in industrial applications such as railway security systems.