Jakub Podivinsky

  • Citations Per Year
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)
To assess the role of tau protein, beta-amyloid(1–42) and cystatin C in the diagnostics of Alzheimer dementia (AD) and other neurodegenerative diseases (ND) by comparing to the control groups (CG). The levels of tau protein, beta-amyloid(1–42) and cystatin C were assessed in the set of 69 patients (AD + ND, 33 males, 36 females, aged 22–90, mean 60.5 + 16.1(More)
OBJECTIVES The aim of our work was to assess the role of tau protein, beta amyloid and cystatin C in diagnosis of Alzheimer dementia (AD) and other neurodegenerative diseases (NDs). METHODS The levels of tau protein, beta amyloid and cystatin C were assessed in a set of 79 patients with ND (38 men and 41 women; aged 22-90 years; mean, 61.6 +/- 15.6 years)(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 the use of a stochastic context-free grammar in the domain of stimulus generation. Nowadays, the randomly constructed stimuli are largely applied in functional verification to verify a proper design and final implementation. Context-free grammar cannot be used by itself in the stimuli generation, therefore, an additional(More)