Breker Verification Systems y Frontgrade Gaisler colaboran en el desarrollo de un núcleo de procesador RISC-V resistente a los fallos y de alta fiabilidad