Este es un comunicado de prensa pagado. Contacte directamente al distribuidor del comunicado para cualquier consulta.

Akeana se asocia con Axiomise para la verificación formal de sus núcleos

Axiomise Ltd.

Mié, 25 de febrero de 2026 a la 1:00 AM GMT+9 3 min de lectura

Verificación de núcleos super-escalares con garantías formales

**LONDRES, REINO UNIDO / ACCESS Newswire / 24 de febrero de 2026 / **Akeana, un proveedor líder de IP RISC-V, confirmó hoy que su asociación con Axiomise ha sido crucial para verificar formalmente su avanzado chip de prueba RISC-V super-escalar Alpine. La colaboración asegura que tanto los casos límite funcionales como los PPA (Potencia, Rendimiento, Área) sean analizados exhaustivamente antes de la fabricación del silicio.

Alpine es una placa de desarrollo de silicio/software de 4 nm con núcleos de alto rendimiento fuera de orden, que requiere un enfoque de verificación sólido. “En pocos meses de nuestro compromiso, la experiencia en verificación formal de Axiomise no solo identificó problemas funcionales, sino también lógica redundante potencial, lo cual no esperábamos. Su combinación de herramientas automatizadas y profundo conocimiento del dominio nos ha demostrado que la verificación formal seguirá siendo una tecnología valiosa para nosotros en el futuro”, dice Nitin Rajmohan, cofundador de Akeana Inc.

La metodología de Axiomise combina una profunda experiencia en verificación formal con sus aplicaciones patentadas, como formalISA®, footprint®, y floatrix®, que están impulsadas por CoreProve® diseñado para obtener la convergencia total de la prueba usando herramientas EDA comerciales para proporcionar la aprobación de verificación formal de extremo a extremo. Al integrar automatización avanzada con análisis dirigido por expertos, el equipo entrega resultados matemáticamente probados que aseguran que no se pase por alto ningún error antes de que el RTL llegue al silicio. Este enfoque permite cobertura desde bloques de diseño individuales hasta la verificación de chip completo, a nivel de firma, además de ofrecer mayor visibilidad en áreas sensibles a PPA.

“Nos complace colaborar con Akeana para lograr una cobertura exhaustiva en sus núcleos super-escalares”, dice el Dr. Ashish Darbari, CEO de Axiomise. “La verificación formal proporciona garantías de que cada caso límite es analizado. Al combinar nuestra profunda experiencia en verificación formal y footprint, podemos ofrecer conocimientos en métricas funcionales, de rendimiento y de área, asegurando la verificación de la más alta calidad para los diseños RISC-V de próxima generación.”

El último logro de Akeana incluye la fabricación de Alpine, una placa de desarrollo de silicio/software de 4 nm con núcleos de alto rendimiento fuera de orden. El proyecto representa un hito importante para la adopción de RISC-V de alto rendimiento y demuestra el papel fundamental que juega la verificación formal en el diseño moderno de SoC.

Sobre Akeana

Akeana es una fuerza impulsora de innovación y rendimiento en IP de semiconductores, con la misión de ofrecer soluciones de IP de computación, interconexión y aceleradores de IA basadas en RISC-V de clase mundial. Con sede en Santa Clara, California, esta startup financiada por inversión de riesgo está dedicada a empoderar a los clientes con tecnología altamente configurable y opciones de licencia equitativas, superando las limitaciones de los proveedores y arquitecturas tradicionales actuales. Con un equipo de ingenieros experimentados, Akeana está a la vanguardia de IP de semiconductores fácil de optimizar. Su creciente portafolio de patentes refleja su compromiso de satisfacer las necesidades y desafíos en constante evolución de la industria. Respaldada por inversores reconocidos, como Kleiner Perkins, Mayfield y Fidelity Ventures, Akeana está redefiniendo lo posible en microcontroladores, computación móvil, automoción, centros de datos y computación en la nube. email: sales@akeana.com.

Continúa la historia  

Sobre Axiomise

Axiomise impulsa la adopción de la verificación formal mediante su combinación única de consultoría, servicios, capacitación y soluciones de software personalizadas. Axiomise tiene su sede en el Reino Unido y fue fundada por el Dr. Ashish Darbari (FBCS, FIETE, DPhil Oxon) y la Dra. Vidya Chandran Darbari (PhD Cantab, MBBS, MRSB, FHEA). En los últimos 8 años, Axiomise ha ayudado a más de 20 clientes con una combinación única de capacitación en verificación formal, habiendo formado a más de mil ingenieros y asistiendo a algunos de los nombres más importantes en diseño de silicio con sus servicios y aplicaciones personalizadas.

Participa con Axiomise en:

Sitio web: www.axiomise.com
Twitter: @axiomise
LinkedIn:

Axiomise, CoreProve, footprint, formalISA, floatrix y el logo de Axiomise son marcas registradas de Axiomise Limited, Reino Unido.

Para más información, contacta a:

Fabiana Muto
Relaciones Públicas de Axiomise
+44 1442 345 046
fabiana.muto@axiomise.com

**FUENTE: **Axiomise Ltd.

Ver el comunicado original en ACCESS Newswire

Términos y Política de Privacidad

Panel de Privacidad

Más Información