Axiomise の Laura Long 氏による 2024 年の展望 - Semiwiki

ローラ・ロング・アクシオミス

公理アクシオマイズは、2017 年以来、半導体業界における形式検証の導入の先駆者となりました。形式検証に関する 63 件の特許を保有する先見の明のある CEO、アシシュ・ダルバリ博士と、40 年の経験を持つ業界のベテラン、ニール・ダンロップが率いる Axiomise は、これまで XNUMX 社の顧客を支援してきました。トレーニングプログラム、コンサルティングおよびサービス、RISC-V プロセッサのエンドツーエンド検証のためのベンダー中立の形式検証アプリを通じて、最先端の形式検証手法へのアクセスを提供することで、過去 XNUMX 年間にわたって継続してきました。

あなた自身とあなたの会社について少し教えてください。
Axiomise は、複雑な SoC に形式的手法を導入するための、formalISA などの RISC-V 検証用のコンサルティングとサービス、トレーニング、およびアプリケーション固有のアプリを提供します。商用のフォーマル検証ツールで使用できる当社の抽象化主導の方法論と 86 次元カバレッジソリューションを通じて、当社の専門家は、RISC-V、Arm、または x5 プロセッサなどのさまざまな設計で最も困難なフォーマル検証の問題に取り組むことができます。 GPU またはビデオブロック、Wi-Fi、XNUMXG、AI/ML を含むネットワーキングブロック。

私は会社の事業開発ディレクターで、昨年 2 月にチームに加わりました。

あなたの会社にとって 2023 年の最もエキサイティングな最高点は何でしたか?
昨年の主なハイライトの 1 つは、シリコンバレーの有名企業の超複雑なプロジェクトに携われたことです。注目すべき言及はAMDからのものでした.

私たちは、100 億ゲートを超える設計で XNUMX% の変換を達成したこと、および世界各地の驚くほど才能のあるチームと協力できたことを誇りに思っています。

私たちは、チームに採用した最も優秀なデザインと人材によって、クライアントのプロジェクトに多大な貢献をしました。さらに、私たちはクライアントのチームを教育することができました。オーダーメイドのトレーニングプログラムこれらも業界でユニークなだけでなく、最高のものとして広く認められています。また、私たちは、特に初期設計からプロジェクトの承認に至るまでの「バグが存在しないことの徹底的な証明」を確立する際に、彼らの設計に適用された形式的手法を通じて、形式の力に直接貢献しました。

話は変わりますが、過去 18 か月間で従業員数は 1 人から 15 人に増加し、当社のチームは非常に多様性に富み、男女比が 50:50 であることを誇りに思っています。私たちは、多様性がチーム内やその周囲のコミュニティの創造性を促進すると強く信じています。

2023 年にあなたの会社が直面した最大の課題は何でしたか?
ハリー・フォスター氏のウィルソン調査レポートによると、シミュレーションサイクル数が増え続けており、UVM の天文学的な成長が ASIC/IC の影響を防ぐことができないことが明らかになっていることから、業界がベストプラクティス採用の改善を示すのに苦労していることから、検証と検証に関する話は刺激的ではありません。 IC/ASIC プロジェクトの 76% がスケジュールを順守し続けている一方で、リスピン率は驚異的な 66% に達しています。

当社の幅広い業界経験から、これらの統計を改善する最善の方法はシフトレフトであり、これは、DV フローの真の可能性を理解し、DV フローの早い段階で正式な手法を採用することで実現できます。過去 10 年間で公式アプリの使用は確かに増加しましたが、公式アプリの適用は依然として末端にとどまっています。これは最も困難な課題であると私たちは考えています。

昨年、当社のチームが 50% 以上増加し、顧客数がさらに大きな割合で増加したことを考慮しても、私たちにとっての最大の課題は、業界のフォーマル採用のペースに忍耐強く耐えることであり、多くの企業がその仕組みを理解するのに時間がかかっています。フォーマルを効率的かつ効果的に導入するためのベストプラクティス!

あなたの会社はこの最大の課題にどのように取り組んでいますか?
私たちは、正式な検証は単にあれば良いものではなく、必要なものであることを半導体コミュニティに理解してもらうことを目指しています。また、UVM とシミュレーションは、多くのシリコン設計のいくつかの領域において形式的な手法を補完するものであると考えられます。もちろん、お客様の設計に関する実践的なプロジェクト作業を通じて、また、FormalISA アプリやトレーニングプログラムの展開を通じてこれを行っています。

2024 年の最大の成長分野は何だと思いますか?またその理由は何ですか?
ネットワーキング (5G/6G)、RISC-V、AI/ML 用のアクセラレータチップに至るすべてには、優れた方法論に基づいた正式な手法のみが提供できる厳密な検証が必要です。これが私たちが最も成長の機会を見出しているところです。

あなたの会社はこの成長にどのように取り組んでいますか?
当社は、CEO と CTO が率いる Axiomise での 60 年以上にわたる形式検証の総合経験に根ざした専門知識を活用して、カスタム形式検証サービスを業界に提供しています。プロジェクトに即して革新を起こし、拡張的な抽象化主導の方法論を生み出すスピードは、業界でも類を見ません。お客様からそんな声をいただくことが増えてきました。私たちは誰にとっても不可能な最も困難な問題を解決することができます。

2023 年にどのようなカンファレンスに参加しましたか?また、トラフィックはどうでしたか?
私たちのチームとして、Axiomise はいくつかのトップレベルの国際会議やサミットに参加し、後援しました。

私たちは、ChipEx、バルセロナで開催された初開催の RISC-V Summit Europe、DVCon India、RISC-V North America、DVCon Europe という業界イベントに参加し、ネットワーキングを行うことで、非常に実りある一年を過ごしました。

参加者と主催者のトラフィックと関与は素晴らしかったです。世界中から集まった半導体業界で働く多くの専門家と会い、学ぶことができて楽しかったです。

2024 年のカンファレンスに参加しますか?同じかそれ以上ですか？
今年はさらに多くのカンファレンスに参加し、後援する予定です。

弊社は以下のスポンサーとして確定しています DVコンUS 4 年 6 月 2024 ～ XNUMX 日に開催され、来月カリフォルニアの半導体産業を結びつけることを楽しみにしています。