A. Andrashov, Vyacheslav S. Kharchenko, Vladimir V. Sklyar, L. Reva, V. Dovgopolyi, V. Golovir. Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods. In 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010. pages 92-97, IEEE, 2010. [doi]
Abstract is missing.