米Mentor Graphics社は、同社の機能検証用EDA「Questa」のフォーマル検証関連で追加/強化した複数の新機能に関して発表した。それぞれ、「Questa AutoCheck」、「Questa Formal Multi-Core」、「Questa CoverCheck」、「Questa CDC」である。

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