Princeton finds a series of errors in the RISC-V instruction specification | Heykuki News