Fixed counter reset width in debounce.v