riscv-dbg:
  files: [
        src/dm_pkg.sv,
        debug_rom/debug_rom.sv,
        debug_rom/debug_rom_one_scratch.sv,
        src/dm_csrs.sv,
        src/dm_mem.sv,
        src/dm_top.sv,
        src/dm_obi_top.sv,
        src/dmi_cdc.sv,
        src/dmi_jtag.sv,
        src/dmi_jtag_tap.sv,
        src/dm_sba.sv,
  ]
