L. Reva

According to our database, L. Reva authored at least 3 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Invariant-oriented verification of HDL-based safety critical systems.

Vyacheslav S. Kharchenko, Boris Konorev, Vladimir V. Sklyar, L. Reva

Proceedings of the East-West Design & Test Symposium, 2013

2011

Design fault injection-based technique and tool for FPGA projects verification.

L. Reva, Vitaliy Kulanov, Vyacheslav S. Kharchenko

Proceedings of the 9th East-West Design & Test Symposium, 2011

2010

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

Proceedings of the 2010 East-West Design & Test Symposium, 2010