Learn about a method for securing RISC-V IP that uses Operational SVA to formalize the RISC-V ISA. This paper says the resulting set of assertions is free from gaps and inconsistencies. RISC-V ...

Methodology is the key in using formal property checking in a scalable way that guarantees a higher return on investment The present-day use of formal methods in industry owes a lot to the founding ...

A Perspective in National Science Review outlines a new paradigm for fully automated processor chip design. By combining ...

Custom processors are making a resurgence, spurred on by the early success of the RISC-V ISA and the ecosystem that is rapidly building around it. But this shift is amid questions about whether ...