// Caravel user project includes
$USER_PROJECT_VERILOG/gl/user_project_wrapper.v	     
$USER_PROJECT_VERILOG/gl/user_proj_example.v
$USER_PROJECT_VERILOG/gl/user_adder.v
$USER_PROJECT_VERILOG/gl/btc_miner_top.v
$USER_PROJECT_VERILOG/gl/sha256.v