A Tool for Signal Probability Analysis of FPGA-Based Systems