I N VE N TI V E
CONFIDENTIAL
Formal Verification Guide
Prototype | Implement | Verify
Agenda
• Equivalence Checking Refresh • Verification Guide
– RTL Design – Verifiable Synthesis Flow – Abort Resolution
• ECO Automation • Best Practice Recommendation
2
August 6, 2009
Cadence Confidential
Encounter Conformal Product Family
Verifies 100% of design functionality without requiring test vectors Provides independent verification for lowest risk silicon Validates CPF LP Equivalence Checking Verifies Low Power design implementation Performs structural and functional checks
致贫原因Equivalence Checking
RTL or Gate RTL or Gate
舍近求远类似的词语Digital Custom Verification including Memories, Data Paths, and IO Orders of magnitude faster than simulation
Low Power Verification
Functional Checks
v1袜子的英语
v2
ISO
A
B
国军军衔Finds bugs earlier in the design cycle Verifies proper CDC synchronization to avoid clock related re-spins Creates safer EC environment
Validation, generation and analysis of constraints Us industry proven formal engines Shorter design cycle with improved timing constraints
Constraint Design
ECO Implementation
o1 o2
Provides automated RTL2GDS ECO solution Identifies and generates fix to implement ECO Interfaces with physical implementation tool flow
潜能爆发
3
August 6, 2009
Cadence Confidential
Encounter Conformal & FED Product Family黄河古诗大全
Equivalence Checking
RTL or Gate RTL or Gate
Constraint Design
Low Power Verification
Functional Checks
A
Validation, generation & analysis of constraints Shorter design cycles with improved timing constraints
v 1
v2
ISO
B
100% Independent vector-less verification of implementation RTL Gate Transistor CDC & Ext Checks
心灵的脚步Structural and functional LP checks LP design implementation Verification LP Equivalence Checking
New Products ECO Implementation RC-Physical Synthesis Chip Planning Systems
o 1 o 2
Automated RTL2GDS ECO solution Identifies and generates ECO fix Physical Correlation & Predictability with final backend Congestion Analysis & Opto (Congestion Relief) Architectural & Economic Forecasting Lower IC Cost & Expedite TTM
4
August 6, 2009
Cadence Confidential
I N VE N TI V E
CONFIDENTIAL
钳制
Crash Cour on Equivalency Checking
Prototype | Implement | Verify
