Tool for checking complex computer architectures reveals flaws in emerging design

With backing from some of the largest technology companies, a major project called RISC-V seeks to facilitate open-source design for computer chips, offering the possibility of opening chip designs beyond the few firms that currently dominate the space. As the project moves toward a formal release, researchers have discovered a series of errors in the RISC-V instruction specification that now are leading to changes in the new system.