Formal Methods of FPGA Project Verification Flow. - Serhii Naumenko; Viktoriia Moskalets; Oleg Odarushchenko; Elena Odarushchenko; Volodymyr Peschanenko; Larysa Degtyareva; Oleksandr A. Letychevskyi (IDAACS, 2021)