Looking for some guidance on setting up an FPGA development environment - EdgeBench