Computer scientists from Microsoft and Inria have developed a way to automatically translate C code to memory-safe Rust.
wire [31:0] pc_next_i_memwatch,alu_i_memwatch,data_i_memwatch,instr_i_memwatch; ...
wire [31:0] pc_o_exwatch,pc_next_o_exwatch,r1_data_o_exwatch,r2_data_o_exwatch, ...