これは有料のプレスリリースです。お問い合わせはプレスリリース配信元に直接ご連絡ください。 アケアナ、Axiomiseと提携しコアの形式検証を実施================================================================== Axiomise Ltd. 2026年2月25日（水）午前1:00 GMT+9 3分で読む _**超スカラーコアの形式保証による検証**_ **ロンドン、英国 / ACCESSニュースワイヤー / 2026年2月24日 / **RISC-V IPのリーディングプロバイダーであるアケアナは、Axiomiseとの提携が高度な超スカラーRISC-Vテストチップ「Alpine」の正式検証において重要な役割を果たしたことを確認しました。この協力により、シリコンのテープアウト前に機能面とPPA（電力、性能、面積）のコーナーケースの両方が徹底的に分析されます。 Alpineは、4nmのシリコン/ソフトウェア開発ボードで、高性能のアウトオブオーダーコアを搭載しており、堅固な検証アプローチが必要です。「私たちの関与から数ヶ月以内に、Axiomiseの形式検証の専門知識は、機能的な問題だけでなく、予想外の冗長なロジックも特定しました。彼らの自動化ツールと深いドメイン知識の組み合わせにより、今後も形式検証は私たちにとって価値のある検証技術であり続けることが示されました」と、アケアナ株式会社の共同創業者ニティン・ラジムハンは述べています。 Axiomiseの手法は、深い形式検証の専門知識と、formalISA®、footprint®、floatrix®などの独自アプリを組み合わせており、これらはCoreProve®によって駆動され、商用EDAツールを用いて完全な証明収束を達成し、エンドツーエンドの形式検証の承認を提供します。高度な自動化と専門家による分析を統合することで、RTLがシリコンに到達する前にバグを見逃さない数学的に証明された結果を提供します。このアプローチは、個々の設計ブロックからフルチップまでのカバレッジと、PPAに敏感な領域への追加の可視性を可能にします。 「私たちは、アケアナの超スカラーコアに対して徹底的なカバレッジを達成するために協力できることを大変嬉しく思います」と、AxiomiseのCEOアシシ・ダルバリ博士は述べています。「形式検証は、すべてのコーナーケースが分析されることを保証します。私たちの深い形式検証の専門知識とfootprintを組み合わせることで、機能、性能、面積の指標にわたる洞察を提供し、次世代RISC-V設計の最高品質の検証を実現します。」 アケアナの最新の成果には、高性能アウトオブオーダーコアを搭載した4nmのシリコン/ソフトウェア開発ボード「Alpine」のテープアウトが含まれます。このプロジェクトは、高性能RISC-Vの採用における重要なマイルストーンであり、現代のSoC設計において形式検証が果たす重要な役割を示しています。 **アケアナについて** アケアナは、半導体IPの革新と性能向上を推進する変革の原動力であり、世界クラスのRISC-Vベースの計算、インターコネクト、AIアクセラレータIPソリューションを提供することを使命としています。本社はカリフォルニア州サンタクララにあり、資金調達を受けたスタートアップ企業です。高度に設定可能な技術と公平なライセンスオプションを提供し、今日のレガシーベンダーやアーキテクチャの制約を超えることに注力しています。経験豊富なエンジニアチームを擁し、アケアナは使いやすく最適化しやすい半導体IPの最前線に立っています。同社の特許ポートフォリオは、業界の絶え間ない進化と課題に応えるコミットメントを反映しています。著名な投資家のクライナー・パーキンス、メイフィールド、フィデリティ・ベンチャーズの支援を受け、アケアナはマイクロコントローラー、モバイルコンピューティング、自動車、データセンター、クラウドコンピューティングの可能性を再定義しています。メール：sales@akeana.com。 続きのストーリー **Axiomiseについて** Axiomiseは、コンサルティング、サービス、トレーニング、カスタムソフトウェアソリューションの独自の組み合わせを通じて、形式検証の普及を促進しています。Axiomiseは英国に本拠を置き、アシシ・ダルバリ博士（FBCS、FIETE、DPhil Oxon）とビディヤ・チャンドラン・ダルバリ博士（PhD Cantab、MBBS、MRSB、FHEA）によって設立されました。過去8年間で、Axiomiseは1000人以上のエンジニアを訓練し、シリコン設計の大手企業のコンサルティングやサービス、カスタムアプリを提供してきました。 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ニュースワイヤーでご覧ください 利用規約とプライバシーポリシー プライバシーダッシュボード 詳細情報
Akeana、コアの形式検証のためにAxiomiseと提携
これは有料のプレスリリースです。お問い合わせはプレスリリース配信元に直接ご連絡ください。
アケアナ、Axiomiseと提携しコアの形式検証を実施
Axiomise Ltd.
2026年2月25日（水）午前1:00 GMT+9 3分で読む
超スカラーコアの形式保証による検証
**ロンドン、英国 / ACCESSニュースワイヤー / 2026年2月24日 / **RISC-V IPのリーディングプロバイダーであるアケアナは、Axiomiseとの提携が高度な超スカラーRISC-Vテストチップ「Alpine」の正式検証において重要な役割を果たしたことを確認しました。この協力により、シリコンのテープアウト前に機能面とPPA（電力、性能、面積）のコーナーケースの両方が徹底的に分析されます。
Alpineは、4nmのシリコン/ソフトウェア開発ボードで、高性能のアウトオブオーダーコアを搭載しており、堅固な検証アプローチが必要です。「私たちの関与から数ヶ月以内に、Axiomiseの形式検証の専門知識は、機能的な問題だけでなく、予想外の冗長なロジックも特定しました。彼らの自動化ツールと深いドメイン知識の組み合わせにより、今後も形式検証は私たちにとって価値のある検証技術であり続けることが示されました」と、アケアナ株式会社の共同創業者ニティン・ラジムハンは述べています。
Axiomiseの手法は、深い形式検証の専門知識と、formalISA®、footprint®、floatrix®などの独自アプリを組み合わせており、これらはCoreProve®によって駆動され、商用EDAツールを用いて完全な証明収束を達成し、エンドツーエンドの形式検証の承認を提供します。高度な自動化と専門家による分析を統合することで、RTLがシリコンに到達する前にバグを見逃さない数学的に証明された結果を提供します。このアプローチは、個々の設計ブロックからフルチップまでのカバレッジと、PPAに敏感な領域への追加の可視性を可能にします。
「私たちは、アケアナの超スカラーコアに対して徹底的なカバレッジを達成するために協力できることを大変嬉しく思います」と、AxiomiseのCEOアシシ・ダルバリ博士は述べています。「形式検証は、すべてのコーナーケースが分析されることを保証します。私たちの深い形式検証の専門知識とfootprintを組み合わせることで、機能、性能、面積の指標にわたる洞察を提供し、次世代RISC-V設計の最高品質の検証を実現します。」
アケアナの最新の成果には、高性能アウトオブオーダーコアを搭載した4nmのシリコン/ソフトウェア開発ボード「Alpine」のテープアウトが含まれます。このプロジェクトは、高性能RISC-Vの採用における重要なマイルストーンであり、現代のSoC設計において形式検証が果たす重要な役割を示しています。
アケアナについて
アケアナは、半導体IPの革新と性能向上を推進する変革の原動力であり、世界クラスのRISC-Vベースの計算、インターコネクト、AIアクセラレータIPソリューションを提供することを使命としています。本社はカリフォルニア州サンタクララにあり、資金調達を受けたスタートアップ企業です。高度に設定可能な技術と公平なライセンスオプションを提供し、今日のレガシーベンダーやアーキテクチャの制約を超えることに注力しています。経験豊富なエンジニアチームを擁し、アケアナは使いやすく最適化しやすい半導体IPの最前線に立っています。同社の特許ポートフォリオは、業界の絶え間ない進化と課題に応えるコミットメントを反映しています。著名な投資家のクライナー・パーキンス、メイフィールド、フィデリティ・ベンチャーズの支援を受け、アケアナはマイクロコントローラー、モバイルコンピューティング、自動車、データセンター、クラウドコンピューティングの可能性を再定義しています。メール：sales@akeana.com。
Axiomiseについて
Axiomiseは、コンサルティング、サービス、トレーニング、カスタムソフトウェアソリューションの独自の組み合わせを通じて、形式検証の普及を促進しています。Axiomiseは英国に本拠を置き、アシシ・ダルバリ博士（FBCS、FIETE、DPhil Oxon）とビディヤ・チャンドラン・ダルバリ博士（PhD Cantab、MBBS、MRSB、FHEA）によって設立されました。過去8年間で、Axiomiseは1000人以上のエンジニアを訓練し、シリコン設計の大手企業のコンサルティングやサービス、カスタムアプリを提供してきました。
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ニュースワイヤーでご覧ください
利用規約とプライバシーポリシー
プライバシーダッシュボード
詳細情報