Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods.