OneSpin 360™ EC 等価性チェック ソリューション
データシートを入手OneSpinの 360™ EC 等価チェック ソリューションは、ASIC/SoC および FPGA 設計において設計変更、合成、最適化等、RTLからネットリストに至る各実装ステップのRTLとRTL、RTLとネットリスト、ネットリストとネットリスト間で設計に含まれる機能が維持されていることをシミュレーションを行うことなく徹底的に証明します。
- OneSpin 360 EC-ASIC は 10 年以上の技術開発をベースにした製品で、大手 IDM およびシステム メーカーの ASIC/SoC 設計フローにおいて必須サインオフ ツールとして利用されています。
- OneSpin 360 EC-FPGA は 360 EC-ASIC の技術をベースにシーケンシャル検証機能を強化し、すべてのシーケンシャルな FPGA 合成最適化をサポートした製品です。