Safety-Critical FPGA Verification Platform