Este é um comunicado de imprensa pago. Contacte diretamente o distribuidor do comunicado para quaisquer esclarecimentos.

Akeana faz parceria com Axiomise para Verificação Formal de seus Núcleos

Axiomise Ltd.

Qua, 25 de fevereiro de 2026 às 01:00 GMT+9 3 min de leitura

Verificação de núcleos super-escalar com garantias formais

**LONDRES, REINO UNIDO / ACCESS Newswire / 24 de fevereiro de 2026 / **Akeana, um fornecedor líder de IP RISC-V, confirmou hoje que sua parceria com a Axiomise foi fundamental para verificar formalmente seu avançado chip de teste RISC-V super-escalar Alpine. A colaboração garante que tanto os casos de canto funcional quanto os de PPA (Potência, Desempenho, Área) sejam analisados minuciosamente antes do tape-out do silício.

Alpine é uma placa de desenvolvimento de silício/software de 4nm com núcleos de alto desempenho fora de ordem, que requer uma abordagem de verificação sólida. “Em poucos meses de nossa parceria, a expertise da Axiomise em verificação formal não só identificou problemas funcionais, mas também lógica redundante potencial, o que não esperávamos. A combinação de ferramentas automatizadas e conhecimento profundo do domínio mostrou-nos que a verificação formal continuará sendo uma tecnologia de verificação valiosa para nós no futuro”, afirma Nitin Rajmohan, cofundador da Akeana Inc.

A metodologia da Axiomise combina expertise em verificação formal profunda com suas aplicações proprietárias, como formalISA®, footprint®, e floatrix®, que são alimentadas pelo CoreProve® projetado para obter convergência total de provas usando ferramentas EDA comerciais para fornecer a assinatura de verificação formal de ponta a ponta. Ao integrar automação avançada com análise conduzida por especialistas, a equipe entrega resultados matematicamente comprovados que garantem que nenhum bug seja perdido antes do RTL chegar ao silício. Essa abordagem permite cobertura desde blocos de design individuais até verificação de chip completo, nível de assinatura, além de fornecer visibilidade adicional em áreas sensíveis a PPA.

“Estamos encantados por trabalhar com a Akeana para alcançar uma cobertura exaustiva em seus núcleos super-escalar”, diz o Dr. Ashish Darbari, CEO da Axiomise. “A verificação formal fornece garantias de que todos os casos de canto sejam analisados. Combinando nossa profunda expertise em verificação formal e footprint, conseguimos fornecer insights sobre métricas funcionais, de desempenho e de área, garantindo a mais alta qualidade na verificação de designs RISC-V de próxima geração.”

A última conquista da Akeana inclui o tape-out do Alpine, uma placa de desenvolvimento de silício/software de 4nm com núcleos de alto desempenho fora de ordem. O projeto representa um marco importante na adoção de RISC-V de alto desempenho e demonstra o papel crítico que a verificação formal desempenha no design moderno de SoC.

Sobre a Akeana

Akeana é uma força motriz na inovação e desempenho de IPs de semicondutores, com a missão de oferecer soluções de IP de computação, interconexão e aceleradores de IA baseadas em RISC-V de classe mundial. Com sede em Santa Clara, Califórnia, esta startup financiada por investidores dedica-se a capacitar clientes com tecnologia altamente configurável e opções de licenciamento justas, indo além das limitações dos fornecedores e arquiteturas legadas atuais. Com uma equipe experiente de engenheiros, a Akeana está na vanguarda de IPs de semicondutores fáceis de otimizar. Seu portfólio de patentes em crescimento reflete um compromisso de atender às necessidades e desafios em constante evolução da indústria. Apoiada por investidores renomados, incluindo Kleiner Perkins, Mayfield e Fidelity Ventures, a Akeana está redefinindo o que é possível em microcontroladores, computação móvel, automotivo, centros de dados e computação em nuvem. email: sales@akeana.com.

Continuação da história  

Sobre a Axiomise

A Axiomise acelera a adoção da verificação formal através de sua combinação única de consultoria, serviços, treinamento e soluções de software personalizadas. A Axiomise tem sede no Reino Unido e foi fundada pelo Dr. Ashish Darbari (FBCS, FIETE, DPhil Oxon) e pela Dra. Vidya Chandran Darbari (PhD Cantab, MBBS, MRSB, FHEA). Nos últimos 8 anos, a Axiomise ajudou mais de 20 clientes com uma combinação única de treinamento em verificação formal, tendo treinado mais de mil engenheiros e auxiliado alguns dos maiores nomes em design de silício com seus serviços, consultoria e aplicativos personalizados.

Participe com a Axiomise em:

Site: www.axiomise.com
Twitter: @axiomise
LinkedIn:

Axiomise, CoreProve, footprint, formalISA, floatrix e o logo da Axiomise são marcas comerciais da Axiomise Limited, Reino Unido.

Para mais informações, contacte:

Fabiana Muto
Relações Públicas da Axiomise
+44 1442 345 046
fabiana.muto@axiomise.com

FONTE: Axiomise Ltd.

Veja o comunicado de imprensa original na ACCESS Newswire

Termos e Política de Privacidade

Painel de Privacidade

Mais informações