ホーム

OneSpin Solutionsへようこそ

OneSpin SolutionsはASIC、FPGA設計のための包括的なフォーマル検証ソリューションを提供しています。フォーマル検証分野における300人年以上の経験と技術開発の上に構築されたOneSpin の技術は、最高の機能品質を実現するだけでなく検証コストと時間の大幅な削減にも役立ちます。顧客により実証されたOneSpinの手法とツールはフォーマル検証をメインストリームで利用可能にし、フォーマル検証の初心者、経験者、エキスパートのためのフォーマル検証ソリューションを提供します。

製品

OneSpin 360® MV製品ファミリーはプッシュボタン式の自動RTL解析からOneSpin独自の GapFreeVerification™に至るまで、フォーマルアサーションベース検証（ABV）を包括的にカバーしています。ステップバイステップの習得が可能で、初心者ユーザーも数日で生産性を発揮できます。 360 MVは様々な検証タスクをシミュレーションと比較して10倍まで高速化し、検証スケジュールの短縮を可能にすると同時に、他の機能検証アプローチでは達成できない設計品質を実現します。
OneSpin 360® Equivalence Checkerは設計表現間の機能的等価性をチェックするための自動化された検証ソリューションです。スタンドアロンで使用することによりASIC、FPGAフローの両方に対して実装設計の等価性をフルチップで検証できる他、360 MV製品ファミリーと組み合わせて使用することにより、モジュール検証以降の実装および最適化段階においても最高の設計品質を保証することが可能になります。