vhls benchmark framework