An EFSM-driven and model checking-based approach to functional test generation for hardware designs. - Alexander S. Kamkin; Mikhail Lebedev 002; Sergey A. Smolov (EWDTS, 2016)

High-Level Synthesis versus Hardware Construction. - Alexander Kamkin; Mikhail M. Chupilko; Mikhail Lebedev 002; Sergey A. Smolov; Georgi Gaydadjiev (DATE, 2023)