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

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

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

機能正確性

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

機能正確性

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

安全性

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

安全性

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

信頼性とセキュリティ

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

信頼性とセキュリティ

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