Making formal normal

当社は半導体の論理検証においてフォーマル検証の活用を当たり前にしようとビジネスを展開する英国のAxiomise社のビジョンに共感し、日本国内における "making formal normal" の実現に向けて活動しています。

フォーマル検証を日常化するには、お客様のプロジェクトに参画してフォーマル検証導入の支援をするだけでなく、検証委託に基づくフォーマル検証サービスも実施しています。また特定ドメインのアプリケーションや共通の設計課題、検証課題に対応するフォーマルアプリも提供しています。そしてさまざまなレベル、さまざまな日数で受講が可能なトレーニングコースやオンデマンドのトレーニング教材なども用意しています。

Axiomise社のCEO、Ashish Darbari氏にインタビューした模様を動画でご覧いただけます。

（日本語キャプションあり）