Це платна прес-реліз. Зв’яжіться безпосередньо з дистриб’ютором прес-релізу з будь-якими запитаннями.

Акеана співпрацює з Axiomise для формальної верифікації своїх ядер

Axiomise Ltd.

Середа, 25 лютого 2026, 01:00 за Києвом 3 хв читання

Перевірка суперскалярних ядер з формальними гарантіями

**ЛОНДОН, Великобританія / ACCESS Newswire / 24 лютого 2026 / **Akeana, провідний постачальник RISC-V IP, сьогодні підтвердила, що її партнерство з Axiomise було ключовим для формальної верифікації її передового суперскалярного тестового чипа Alpine. Співпраця гарантує, що як функціональні, так і PPA (енергія, продуктивність, площа) крайові випадки ретельно аналізуються перед виготовленням силікону.

Alpine — це 4-нм платформа для розробки силікону/програмного забезпечення з високою продуктивністю, яка має високопродуктивні ядра з позачерговим виконанням, що вимагає надійного підходу до верифікації. “За кілька місяців нашої співпраці експертиза формальної верифікації Axiomise не лише виявила функціональні проблеми, а й потенційно зайву логіку, що ми не очікували. Їхнє поєднання автоматизованих інструментів і глибоких знань у галузі показало нам, що формальна верифікація залишатиметься цінною технологією для нас у майбутньому”, — говорить Нітін Раджмохан, співзасновник Akeana Inc.

Методологія Axiomise поєднує глибоку експертизу формальної верифікації з її власними додатками, такими як formalISA®, footprint® і floatrix®, які працюють на базі CoreProve®, розробленого для досягнення повної конвергенції доказів із використанням комерційних EDA-інструментів для забезпечення повної формальної верифікації та підписання. Інтегруючи передову автоматизацію з аналізом під керівництвом експертів, команда надає математично підтверджені результати, що гарантують відсутність пропущених помилок перед виготовленням RTL у силікон. Такий підхід дозволяє охоплювати від окремих блоків проекту до повної перевірки чипа на рівні підписання, а також забезпечує додаткову видимість у чутливих до PPA областях.

“Ми раді співпрацювати з Akeana для досягнення всебічного покриття їхніх суперскалярних ядер,” — говорить доктор Ашіш Дарбарі, генеральний директор Axiomise. “Формальна верифікація гарантує, що кожен крайовий випадок буде проаналізований. Поєднуючи нашу глибоку експертизу формальної верифікації та footprint, ми здатні надавати інсайти щодо функціональних, продуктивних і площинних характеристик, забезпечуючи найвищу якість перевірки для наступного покоління RISC-V проектів.”

Останні досягнення Akeana включають виготовлення Alpine, 4-нм платформи для розробки силікону/програмного забезпечення з високопродуктивними ядрами з позачерговим виконанням. Проект є важливим етапом у впровадженні високопродуктивного RISC-V і демонструє критичну роль формальної верифікації у сучасному дизайні SoC.

Про Akeana

Akeana є рушієм змін у галузі інновацій та продуктивності напівпровідникового IP, прагнучи надавати світовий рівень RISC-V-базованих обчислювальних, міжз’єднувальних та AI-акселераторних IP-рішень. Штаб-квартира розташована в Санта-Кларі, Каліфорнія. Ця стартап-компанія, що фінансується інвестиціями, орієнтована на надання клієнтам висококонфігурованих технологій і справедливих ліцензійних умов, виходячи за межі обмежень сучасних застарілих постачальників і архітектур. З досвідченою командою інженерів Akeana є лідером у галузі легкого для оптимізації напівпровідникового IP. Її зростаючий портфель патентів відображає прагнення відповідати постійно змінюваним потребам і викликам галузі. За підтримки відомих інвесторів, таких як Kleiner Perkins, Mayfield і Fidelity Ventures, Akeana переосмислює можливості у мікроконтролерах, мобільних обчисленнях, автомобільній галузі, дата-центрах і хмарних обчисленнях. email: sales@akeana.com.

Історія продовжується  

Про Axiomise

Axiomise прискорює впровадження формальної верифікації через унікальне поєднання консультацій, послуг, навчання та індивідуальних програмних рішень. Головний офіс Axiomise знаходиться у Великобританії, заснований доктором Ашішем Дарбарі (FBCS, FIETE, DPhil Oxon) і доктором Відією Чандран Дарбарі (PhD Cantab, MBBS, MRSB, FHEA). За останні 8 років Axiomise допомогла понад 20 клієнтам, навчивши понад тисячу інженерів і співпрацюючи з найбільшими компаніями у галузі напівпровідників за допомогою консультацій, послуг і власних додатків.

Зв’яжіться з Axiomise:

Веб-сайт: www.axiomise.com
Twitter: @axiomise
LinkedIn:

Axiomise, CoreProve, footprint, formalISA, floatrix і логотип Axiomise є торговими марками Axiomise Limited, Великобританія.

Для додаткової інформації звертайтеся:

Фабіана Муту
Публічні зв’язки Axiomise
+44 1442 345 046
fabiana.muto@axiomise.com

Джерело: Axiomise Ltd.

Переглянути оригінальний прес-реліз на ACCESS Newswire

Умови та Політика конфіденційності

Панель конфіденційності

Більше інформації