Convert the tilelink-to-AXI to verilog

Hi
I noticed that there are TL to AXI and AXI to TL chisel module in rocket-chip.

Since I neee it for another project, is there any suggestions to convert it to verilog HDL specifically without the need to write the whole rocket-chip.

Thanks a lot.

The issue mentions the TileLink-to-AXI and AXI-to-TileLink Chisel modules but names no files or tests. Start by locating those modules in rocket-chip and determine whether they can be generated as standalone Verilog without building the whole project. Done would require a documented, reproducible conversion path.

Written by the indexing model from the issue text.