What is the best way to use tvm with fpga

[liangdzou]

I have found something about verilog, vhls, and vta.
Is there any suggestions about how to select the best backend for applications.

BTW, is there any fpga tutorial or test case?