Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique Article in Computers (October 2021)