Verilog for all proposed RISC-V bitmanip instructions
github.com