A study about the efficiency of formal high-level synthesis applied to verification.