tb/rv2insn tb/ttarv32 tb/*.vcd tb/*.hex tb/*objdir