独OneSpin Solutions、FPGA向けのシーケンシャル等価性検証ツール「360 EC-FPGA」をリリース

2007年12月10日、フォーマル検証ツールを手掛けるOneSpin Solutions社は、FPGAの合成結果の検証に特化したシーケンシャル等価性検証ツール「360 EC-FPGA」のリリースを発表した。

プレスリリース：https://www.eda-express.com/edalibrary/files/1197324165.pdf

新製品「360 EC-FPGA」は、OneSpinの既存製品「360 EC-ASIC」を拡張しFPGA専用のスタンドアロン製品としてパッケージされたツールで、FPGA合成ツールが実行するあらゆるシーケンシャルな最適化をサポート。合成ツールに依存することなく、RTLコードと合成後FPGAネットリスト、合成後ネットリストと配置配線後ネットリストの機能的等価性を検証することができる。

FPGAとしては、AlteraのStratix 、Cyclone、HardCopy、XilinxのSpartan、Virtexと殆どのファミリをサポートしており、Synplicityの「Synplify Pro」によるゲーテッド クロック変換を含む合成フローにも対応。シミュレーションを行うことなく静的に最適化によって発生するエラーや不一致を検出し、デバッグ時間を劇的に削減すると同時に最適化されたコードの品質を保証する。

尚、「360 EC-FPGA」は、FPGA市場での幅広い利用を前提とした価格設定がなされており、Altera または Xilinx デバイス向けシングルベンダーの年間ライセンスで ￥4，416，000-。 Altera、 Xilinx 両デバイスに対応する年間ライセンスは￥6，144，000となっている。

※「360 EC-FPGA」に関する詳細は、ワンスピン・ソリューションズ株式会社にお問い合わせ下さい。
http://www.onespin-solutions.jp