Verilog for all proposed RISC-V bitmanip instructions · HackerTrans