VERIFICATION OF HARDWARE DESIGN FOR AN INTEGRATED CIRCUIT THAT IMPLEMENTS A FUNCTION THAT… Application EP-3739496-A1 European Patent Office 18 Nov 2020