ﾎｰﾑｺﾝﾀｸﾄ会社情報ｻｲﾄﾏｯﾌﾟ

OneSpin Solutionsへようこそ

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

アサーションベース検証の無料オンラインセミナー
NEW ライブセミナー クリックして登録 >>>	録画済セミナー クリックして登録 >>>

OneSpinの最新ホワイトペーパーをダウンロード
	ホワイトペーパーをダウンロードするにはここをクリック >>>

製品

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