(hls backend) change clock frequency, device and vivvado hls version