Jakub Podivinsky

Learn More
The aim of this paper is to present a new platform for estimating the fault-tolerance quality of electro-mechanical applications based on FPGAs. We demonstrate one working example of such EM application that was evaluated using our platform: the mechanical robot and its electronic controller in an FPGA. Different building blocks of the electronic robot(More)
Functional verification is a modern approach to verifying that a digital system complies with its specification. The verification environment for functional verification of robot controller which searches path for the robot through a maze is presented in this paper. This verification environment is designed according to UVM (Universal Verification(More)
The aim of this paper is to present a new approach in evaluating Software Fault Tolerance (SFT) methodologies. It is the way on how to ensure fault tolerance without any additional hardware as is common in frequently used Triple Modular Redundancy (TMR). As our research is focused on electromechanical systems which are commonly driven by processors or Multi(More)
  • 1