RISC-V Formal Verification for ISA Compliance

RISC-V Formal Verification for ISA Compliance
by Daniel Nenni on 07-07-2020 at 10:00 am

XiaolinChenHeadshotModifiedto320240

RISC-V is an open standard instruction set architecture introduced in 2010. It has experienced exponential growth in recent years, enabling users to design custom processors more quickly and cost effectively to meet today’s demand for more technological innovations in the CPU, GPU, AI, ML spaces.

However, verification of … Read More