Formal verification, Dependability, Reliability, Markov Chain, FPGA, Probabilistic analysis, DO-254, Design Optimization