As Symbiotic EDA offers a formal test bench to validate the correct implementation of a Risc-V core, becoming member of the Risc-V foundation was next logic step. Our own small Risc-V core picoRV32 gained a lot of popularity in the last 3 years in the FPGA, but also ASIC design community as simple and small, but very reliable Risc-V core. We are looking forward to work with all the members of the Risc-V foundation.
Edmund Humenberger is Co-Founder and CEO of Symbiotic EDA – a software company for formal-verification- and FPGA-design-tools to reduce risk for decision makers and engineers in the chip design and hardware manufacturing industry. @ Symbiotic GmbH All rights reserved