Training

Axiomiseは設計の立上げから検証、バリデーションに至るまで、フォーマル検証の適用について理解しやすく、かつ包括的なトレーニングを提供します。このコースは短時間でフォーマル検証の生産性を向上させたいとお考えの多忙なエンジニアに向け、実践的に役立つよう設計されています。

Consulting

Axiomiseはエンジニアマネージャーも、双方がフォーマル検証の真価を認識し理解できるよう、さまざまなコンサルティングの機会を提供しています。ユーザーはプロジェクト求められる作業について11でのハンズオン形式の技術コンサルティングから、フォーマル適用の戦略的な展開に向けたマネージャーや検証リーダーのためのコンサルティングまで選択することができます。またAxiomiseは主要なフォーマル検証を提供するEDAツールベンダーとのパートナーシップにより可能となる、戦略的なコンサルティングも提供しています。

Services

Axiomise継ぎ目ない完全なサービスを提供します。半導体業界のエンジニアに提供されるのはトレーニングだけではありませんお客様が望まれれば、Axiomiseはプロジェクトに参加しフォーマル検証のサービスを提供することもできます。