Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods. - A. Andrashov; Vyacheslav S. Kharchenko; Vladimir V. Sklyar; L. Reva; V. Dovgopolyi; V. Golovir (EWDTS, 2010)