Enabling Overclocking with HLS Tools through Algorithm-Level Error Detection