ユーザー > 概要

ユーザー概要

OneSpin のフォーマル検証ソリューションは、自動車、コンピュータ、コンシューマ、産業、通信アプリケーションをターゲットとした大手半導体およびシステム メーカーが抱えるモジュールおよびチップ検証課題の解決に貢献してきました。 OneSpin のユーザーには以下の企業が含まれます。
Lucent Luna Bosch
Xilinx NXP Infineon
Tieto Renesas DICE
Hitachi Microsemi ublox
Melexis Lantiq Siemens