Ini adalah siaran pers berbayar. Hubungi distributor siaran pers langsung untuk pertanyaan apa pun.

Akeana Bermitra dengan Axiomise untuk Verifikasi Formal Inti-Intinya

Axiomise Ltd.

Rabu, 25 Februari 2026 pukul 01:00 WIB 3 menit baca

Memverifikasi inti super-skalare dengan jaminan formal

**LONDON, Inggris / ACCESS Newswire / 24 Februari 2026 / **Akeana, penyedia utama IP RISC-V, hari ini mengonfirmasi bahwa kemitraannya dengan Axiomise sangat penting untuk memverifikasi secara formal chip pengujian RISC-V super-skalare canggih Alpine. Kolaborasi ini memastikan bahwa baik kasus tepi fungsional maupun PPA (Daya, Performa, Area) dianalisis secara menyeluruh sebelum tape-out silikon.

Alpine adalah papan pengembangan silikon/perangkat lunak 4nm dengan inti out-of-order berkinerja tinggi, yang memerlukan pendekatan verifikasi yang solid. “Dalam beberapa bulan setelah keterlibatan kami, keahlian verifikasi formal Axiomise tidak hanya mengidentifikasi masalah fungsional tetapi juga logika redundan potensial, yang tidak kami duga. Kombinasi alat otomatis dan pengetahuan mendalam mereka menunjukkan bahwa verifikasi formal akan tetap menjadi teknologi verifikasi yang berharga bagi kami di masa depan,” kata Nitin Rajmohan, salah satu pendiri Akeana Inc.

Metodologi Axiomise menggabungkan keahlian verifikasi formal mendalam dengan aplikasi proprietary-nya, seperti formalISA®, footprint®, dan floatrix®, yang didukung oleh CoreProve® yang dirancang untuk mendapatkan konvergensi bukti penuh menggunakan alat EDA komersial untuk memberikan tanda tangan verifikasi formal end-to-end. Dengan mengintegrasikan otomatisasi canggih dengan analisis yang dipandu ahli, tim menghasilkan hasil yang terbukti secara matematis yang memastikan tidak ada bug yang terlewat sebelum RTL mencapai silikon. Pendekatan ini memungkinkan cakupan dari blok desain individu hingga verifikasi tingkat tanda tangan penuh chip, sekaligus memberikan visibilitas tambahan ke area sensitif PPA.

“Kami senang bekerja sama dengan Akeana untuk mencapai cakupan menyeluruh pada inti super-skalare mereka,” kata Dr. Ashish Darbari, CEO Axiomise. “Verifikasi formal memberikan jaminan bahwa setiap kasus tepi dianalisis. Dengan menggabungkan keahlian verifikasi formal mendalam dan footprint, kami dapat memberikan wawasan di seluruh metrik fungsional, performa, dan area, memastikan verifikasi berkualitas tinggi untuk desain RISC-V generasi berikutnya.”

Prestasi terbaru Akeana termasuk tape-out Alpine, papan pengembangan silikon/perangkat lunak 4nm yang menampilkan inti out-of-order berkinerja tinggi. Proyek ini merupakan tonggak penting dalam adopsi RISC-V berkinerja tinggi dan menunjukkan peran penting verifikasi formal dalam desain SoC modern.

Tentang Akeana

Akeana adalah kekuatan pendorong inovasi IP semikonduktor dan kinerja, dengan misi menyediakan solusi IP komputasi, interkoneksi, dan akselerator AI berbasis RISC-V kelas dunia. Berkantor pusat di Santa Clara, California, startup yang didanai ventura ini berkomitmen memberdayakan pelanggan dengan teknologi yang sangat dapat dikonfigurasi dan opsi lisensi yang adil, melampaui batasan vendor dan arsitektur warisan saat ini. Dengan tim insinyur berpengalaman, Akeana berada di garis depan IP semikonduktor yang mudah dioptimalkan. Portofolio patennya yang berkembang mencerminkan komitmen untuk memenuhi kebutuhan dan tantangan industri yang terus berkembang. Didukung oleh investor terkenal, termasuk Kleiner Perkins, Mayfield, dan Fidelity Ventures, Akeana mendefinisikan ulang apa yang mungkin dalam mikrokontroler, komputasi mobile, otomotif, pusat data, dan komputasi awan. email: sales@akeana.com.

Cerita Berlanjut  

Tentang Axiomise

Axiomise mempercepat adopsi verifikasi formal melalui kombinasi unik dari konsultasi, layanan, pelatihan, dan solusi perangkat lunak kustom. Axiomise berkantor pusat di Inggris dan didirikan oleh Dr. Ashish Darbari (FBCS, FIETE, DPhil Oxon) dan Dr. Vidya Chandran Darbari (PhD Cantab, MBBS, MRSB, FHEA). Dalam 8 tahun terakhir, Axiomise telah membantu lebih dari 20 pelanggan dengan kombinasi unik pelatihan verifikasi formal, melatih lebih dari seribu insinyur dan membantu beberapa nama terbesar dalam desain silikon melalui konsultasi, layanan, dan aplikasi kustomnya.

Terlibatlah dengan Axiomise di:

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

Axiomise, CoreProve, footprint, formalISA, floatrix dan logo Axiomise adalah merek dagang dari Axiomise Limited, Inggris.

Untuk informasi lebih lanjut, hubungi:

Fabiana Muto
Hubungan Masyarakat untuk Axiomise
+44 1442 345 046
fabiana.muto@axiomise.com

**SUMBER: **Axiomise Ltd.

Lihat siaran pers asli di ACCESS Newswire

Syarat dan Kebijakan Privasi

Dasbor Privasi

Info Lebih Lanjut