close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

OneSpin 証明済み ICインテグリティソリューション

»learn more

機能的に正しく、安全、セキュアかつ信頼性の高い集積回路を開発するための、先端ICインテグリティ検証ソリューション

OneSpinはICインテグリティに関わる今日のクリティカルな問題を解決する、最先端の強力な検証プラットフォームを提供しています。OneSpinのエキスパートは最も困難な次世代の検証課題を解決し、機能的に正しく、安全、セキュアかつ信頼性の高いSoCを設計チームが開発できるようにするための各種ソリューションを提供することに専心しています。

ICインテグリティソリューション

機能正確性

ブロックからチップまで、フォーマル技術を使用した厳密なカバレッジドリブン検証»more

機能正確性

OneSpinの機能正確性ソリューションは、敏捷性に優れた閉ループのブロックレベル機能検証を提供し、ブロックの適切な統合および接続を確実にするとともに、合成と配置配線時に生じた機能エラーを検知します。

安全性

ISO 26262、IEC 61508、DO-254ならびにその他の規格要件を満足するための機能安全性解析 »more

安全性

OneSpinの安全性ソリューションは、安全性が必須の設計において自動車向けISO 26262や航空機向けDO-254等の業界標準に対するカバレッジおよび認証要件が満たされていることを保証します。

信頼性とセキュリティ

ハードウェアトロイおよび敵対的攻撃に対する脆弱性の自動検知… »more

信頼性とセキュリティ

OneSpinは信頼性評価データおよびレポートを自動的に生成するソリューションを提供します。ハードウェアの知識が限定的な監査担当者、IPのインプリメンテーションの詳細になじみのないエンジニア、そして信頼性保証エキスパートが、これらのソリューションを使用して客観的かつ効率的アプローチにより疑わしいロジックを検知し、信頼性を評価することができます

垂直市場向けソリューション

ヘテロジニアスコンピューティング

5Gワイヤレス、IoT、AIアプリケーションなどに使用される、複雑なSoCプラットフォームの徹底した検証

»more

ヘテロジニアスコンピューティング

OneSpinのヘテロジニアスコンピューティングソリューションは、プログラマブルロジック、ソフトウェアコンフィギュラブルエンジン、プロセシングサブシステムや、それらの間の複雑な接続を含む大規模なチップを検証します。

自動車および産業

システマティックバグの解消と、フィールドでのランダムエラーに適切に対応するためのメトリック

 »more

自動車および産業

OneSpinの自動車よび産業向けソリューションは、システマティックバグの除去やランダムエラーに対する耐性メトリックを含め、それぞれのデザインが対応する安全基準に完全に適合しているかどうかを検証します。

RISC-V

命令セットアーキテクチャ(ISA)に対するギャップや不整合のない迅速かつ網羅的な検証および準拠の証明 »more

RISC-V

OneSpin RISC-V Integrity Verification Solution は、コアプロバイダとコアインテグレータ両方のニーズに対応した業界初の商用ツールスイートです。

Upcoming Events

Watch our latest videos

In The News

Press Releases