Formality

検証可能な最高度のQoR...最大5倍高速化

ユーザによるWebセミナー

Comprehensive Real-Time Low-Power Equivalence Signoff Using Formality

Speakers: Ramanathan Lakshmanan, Samsung Semiconductor Research and Alphyn Stanley, Synopsys

Register Now

ViaSat社でFormalityとLynxを統合して採用

スピーカー: Matteo Citarelli(ViaSat)、Avinash Palepu(シノプシス)

今すぐ見る

Broadcom:最高度の検証可能なQoR – フォーマル等価検証の尺度
スピーカー: Sathappan Palaniappan、Broadcom主任エンジニア

SNUGペーパー

以下の文書にアクセスするにはSolvNetPlusアカウントが必要です。

R&D部門の声

Formality ECO
ECOの高速化、品質向上、初回成功