USA Spain Brazil Russia France Germany China Korea

Artificial Intelligence driven Marketing Communications

 
Jan 7, 2021 10:51 AM ET

アクシオミセがRISC-Vインターナショナルに加盟


iCrowd Newswire - Jan 7, 2021

エンドツーエンドの正式な検証機能を使用した RISC-V エコシステムの拡張

Axiomise_formalISA__v2

ロンドン、英国 – 2021年1月6日 – アクシオミセ®は、オープン仕様のRISC-V命令セットアーキテクチャの採用を推進する非営利団体RISC-Vインターナショナルに入社しました。

アクシオミスゼは、RISC-Vの実装を検証するための独自の自動フォーマル検証ソリューションの先駆けに携わってきました。2020年に発売された次世代 の正式なフォーマルISAに 電力を投入するアシオミスゼの正式な証明キットは®最近OpenHWグループのCV32E40Pや2019年のibexと0riscyコアなどの複数のRISC-Vコアを検証するためにすでに使用されており、バグの不在とバグの追い込みの徹底的な証拠が数分以内に行われています。

我々は、戦略的メンバーとしてRISC-Vエコシステムにアクシオミスゼを歓迎する。Axiomiseは、RISC-V設計の検証に広く適用可能なベンダー中立の正式な検証方法論とツールに重点を置き、彼らのコラボレーションと貢献を楽しみにしています。

Axiomiseソリューションのユニークな特徴は、抽象化ベースのプルーフキットと初めてのシナリオカバレッジソリューションを活用したベンダーニュートラルな方法論です。一方、このプルーフキットは、複雑なコアでほぼ100%の校正コンバージェンスを生成し、設計バグを検出する強力なパフォーマンスを提供する一方で、カバレッジソリューションは、正式な検証ツールを使用して、目的の機能的シナリオを徹底的に視覚化して証明する機能を提供します。

formalISA®アプリは、任意の正式な検証経験を持たない誰もがボタンの簡単なプッシュで正式なプロパティチェックを使用して開始し、全体のRISC-Vコアエンドツーエンドを検証し、開発時間と労力の数ヶ月を節約することができます。

「RISC-V エコシステムでは、誰もが特定のツール ベンダーに閉じ込められることなく、正式な検証のメリットを享受できるため、RISC-V ISA が独自のアーキテクチャから独立するのと同じ方法で検証の独立性を実現できます」と、Axiomise の創設者兼 CEO であるアシシュ・ダルバリ博士は言います。

ダルバリ博士は、2021年の最初のアクシオミスポッドキャストでカリスタ・レドモンドと話をします。明日 axiomise.com/podcastsで聞くために同調しなさい。

アクシオミスゼについて

Axiomiseは、最先端の正式な検証トレーニング、コンサルティング、サービスを提供しています。Axiomiseは、RISC-Vのトレーニング、コンサルティング、サービス、および専門的な検証ソリューションの独自の組み合わせを通じてフォーマルを可能にすることに専念しています。アクシオミーゼは、過去20年間に正式な方法の採用を熱心に推進してきたアシシュ・ダルバリ博士によって設立されました。業界全体で約200人のDVエンジニアを指導したDarbari博士は、正式な検証の分野で35の米国、英国、EUの特許を持つ熱心なイノベーターです。

公理: 予測可能な正式な検証。

アクシオミスゼとの関わり方:

ウェブサイト: www.axiomise.com ツイッター: @axiomise リンクトイン: https://www.linkedin.com/company/axiomise/ フェイスブック: https://www.facebook.com/axiomise

アクシオミスとアクシオミスのロゴは、英国のアクシオミス・リミテッドの商標です。正式なISAは、アクシオミス株式会社の登録商標です。RISC-Vは、リスク-Vインターナショナルの登録商標です。

Contact Information:

S Arora
71-75 Shelton Street
Covent Garden, London WC2H 9JQ
44 1923 562 877
marketing@axiomise.com



Tags:    Japanese, United States, Wire