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

DAC 2008 出展

OneSpin Solutions GmbH はアナハイム市で開催された （2008年6月）された Design Automation Conference に今年も出展しました。



OneSpin は標準検証言語を使った検証に対する最新の技術革新を紹介しました。 SystemVerilog Assertions (SVA) を使ってギャップのないRTL検証を行うことができる業界初の検証ソリューションです。 このソリューションではユーザーがタイミングダイアグラムをSVAプロパティとして簡単に入力できる新しい画期的技術SVA TIming Diagram Assertion Library、TIDAL™を使っています。 OneSpinの360 Module Verifier (360 MV) のユーザーはこれにより SVAを使って、検証工数を大幅に削減し最高の検証品質を保証するGapFreeVerification™プロセスを実行できるようになりました。



OneSpinは360 MVを使った標準SVAベースの検証についても紹介し、最高のキャパシティと最高のパフォーマンスを備えた実装レベルSystemVerilogアサーションならびにSVAで記述されたハイレベル機能要件の検証について説明しました。 SVAベースのフォーマル検証におけるこれらのアプリケーションのサポートや、SVAを使ったユニークなギャップフリー検証により360MVは市場で最も包括的なSVA向けフォーマル検証となっています。