IC設計のフォーマル検証に関連した各種サービスを提供する企業である、米Oski Technology社に話を聞いた。President and CEOのVigyan Singhal氏によれば、フォーマル検証ツールを開発・提供するEDAベンダーは複数あるが、フォーマル検証のサービスやコンサルティングに特化した企業は世界で同社だけだという。

ここからは会員の登録が必要です。