Design methodology of digital sensors for detecting laser fault injection attacks in FPGAs